Theorem pow_eq_one_iff_modEq

Modification history