Theorem Equiv.Perm.IsThreeCycle.isCycle

Modification history