Theorem Equiv.Perm.Disjoint.cycleType

Modification history