Theorem lt_of_pow_lt_pow_left

Modification history