Theorem pow_lt_pow_left'

Modification history