Theorem Real.range_logb

Modification history