Theorem Equiv.Perm.IsCycle.pow_eq_one_iff'

Modification history