Theorem Real.logb_inv

Modification history