Theorem Real.lt_log_of_pow_lt

Modification history