Theorem Real.deriv_mul_log

Modification history