Theorem pow_lt_pow_iff_left

Modification history