Theorem Real.logb_pos

Modification history