Theorem Real.negMulLog_nonneg

Modification history