Theorem Real.logb_one

Modification history