Theorem Equiv.Perm.IsCycle.isConj

Modification history