Theorem Real.log_neg_iff

Modification history