Theorem Real.negMulLog_eq_neg

Modification history