Theorem pow_lt_pow_left

Modification history