Theorem Equiv.Perm.IsThreeCycle.cycleType

Modification history