Theorem pow_lt_pow_iff

Modification history