Theorem Real.log_neg

Modification history