Theorem Real.negMulLog_one

Modification history