remove Heap, PermutEq, and PermutSetoid from Sorting#151

andres-erbsen wants to merge 1 commit intorocq-prover:masterrocq-prover/stdlib:masterfrom

andres-erbsen:remove-permutandres-erbsen/stdlib:remove-permutCopy head branch name to clipboard