Derivative function

Summary

The derivative function of a differentiable function $f$ is the function $f'$ that gives the derivative of $f$ at each point. Repeating the process gives higher derivatives. The node derivative function gives the precise definition.