Definition:Derivative of Vector-Valued Function at Point