Proved sorted permutations are equal#2748

MatthewDaggitt merged 3 commits intomasteragda/agda-stdlib:masterfrom

sorting-permutationagda/agda-stdlib:sorting-permutationCopy head branch name to clipboard