Theorem Real.logb_le_iff_le_rpow

Modification history