Theorem Equiv.Perm.IsCycle.cycleType

Modification history