Theorem Equiv.Perm.IsCycle.pow_iff

Modification history