Theorem List.Perm.Equivalence

Modification history