Theorem Equiv.Perm.cycleOf_zpow_apply_self

Modification history