Theorem pow_eq_one_iff_of_nonneg

Modification history