Theorem Equiv.Perm.toList_formPerm_nontrivial

Modification history