Theorem Real.deriv2_mul_log

Modification history