Theorem Real.logb_neg_eq_logb

Modification history