Theorem Real.logb_pow

Modification history