Theorem pow_lt_pow_right

Modification history