Theorem Real.logb_zero

Modification history