Theorem Real.logb_mul

Modification history