Theorem Real.log_neg_of_lt_zero

Modification history