Theorem Equiv.Perm.Disjoint.cycleType_mul

Modification history