Theorem pow_inj_iff_of_orderOf_eq_zero

Modification history