Theorem Equiv.Perm.IsCycleOn.zpow_apply_eq_zpow_apply

Modification history