remove Heap, PermutEq, and PermutSetoid from Sorting#151

andres-erbsen wants to merge 1 commit into

rocq-prover:masterrocq-prover/stdlib:masterfrom

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