Theorem Real.logb_eq_iff_rpow_eq

Modification history