Theorem pow_lt_pow_right'

Modification history