Theorem Real.lt_rpow_iff_log_lt

Modification history