Theorem Equiv.Perm.cycleOf_pow_apply_self

Modification history