Theorem pow_lt_pow'

Modification history