Theorem Real.log_lt_log

Modification history