Theorem Real.logb_rpow

Modification history