Theorem List.Perm.permutations'

Modification history