Theorem Equiv.Perm.IsCycle.cycleOf_eq

Modification history