Theorem Real.rpow_logb_eq_abs

Modification history