Theorem Real.log_neg_eq_log

Modification history