Theorem Equiv.Perm.nontrivial_toCycle

Modification history