Theorem Real.log_lt_log_iff

Modification history