Theorem Equiv.Perm.IsCycleOn.zpow_apply_eq

Modification history