Theorem List.Perm.permutations

Modification history