Theorem Real.logb_neg

Modification history