Theorem Real.lt_rpow_of_log_lt

Modification history