Smatchcube's website 🌍


Exercise 2.56

here is the modified version of deriv for the new differentiation rule. Note that it would be better to have a make-product using more than two arguments.

Here are the procedures needed: