Theorem Equiv.Perm.IsCycle.exists_zpow_eq

Modification history