3 ms·The complete correctness of sorting (2013)28 points by lelf 12y agodkarapetyan 12y agoThe permutation criterion seems kinda arbitrary. Showing equality of multisets seems good enough to me.