Theorem Real.logb_eq_zero

Modification history