Theorem Real.le_logb_iff_rpow_le

Modification history