Theorem Real.pow_lt_of_lt_log

Modification history