Theorem Equiv.Perm.pow_mod_orderOf_cycleOf_apply

Modification history