Theorem pow_inj_mod

Modification history