Theorem Equiv.Perm.isConj_iff_cycleType_eq

Modification history