Theorem Equiv.Perm.zpow_apply_eq_self_of_apply_eq_self

Modification history