Theorem Equiv.Perm.zpow_eq_zpow_on_iff

Modification history