We can now derive all the usual rules for deriving constant and identity functions, sums, inverses and products of functions with a known derivative.
*)
We can now derive all the usual rules for deriving constant and identity functions, sums, inverses and products of functions with a known derivative.
*)