Theorem Real.rpow_logb

Modification history