Theorem Real.lt_log_of_rpow_lt

Modification history