Theorem zpow_eq_one_iff_modEq

Modification history