Theorem Real.deriv2_negMulLog

Modification history