Theorem Real.logb_lt_logb_iff

Modification history