Theorem pow_lt_pow_iff_right

Modification history