Theorem one_lt_pow_iff_of_nonneg

Modification history