Theorem Real.logb_lt_logb

Modification history