Theorem zpow_eq_zpow_iff_modEq

Modification history