Theorem Real.log_lt_iff_lt_exp

Modification history