Theorem Real.log_pos_iff

Modification history