Theorem Real.deriv_mulExpNegMulSq

Modification history