Theorem lt_of_pow_lt_pow_left'

Modification history