Theorem Real.log_of_pos

Modification history