Theorem Real.lt_pow_of_log_lt

Modification history