Theorem Equiv.Perm.SameCycle.exists_pow_eq

Modification history