Theorem Equiv.Perm.iterate_eq_pow

Modification history