Theorem pow_lt_pow_iff_right'

Modification history