Theorem Real.logb_abs

Modification history