Theorem Real.logb_neg_iff

Modification history