Theorem Equiv.Perm.isConj_of_cycleType_eq

Modification history