Theorem Real.deriv_negMulLog

Modification history