Theorem Equiv.Perm.SameCycle.exists_nat_pow_eq

Modification history