The Differentiable Functions from R into Rⁿ

In control engineering, differentiable partial functions from R into Rⁿ play a very important role. In this article, we formalized basic properties of such functions.