Solution (source code)

= Solution

The map is \b[<continuously differentiable>] if it is differentiable at every point of $U$ and the <derivative> map $x\mapsto DF_x$ is continuous. In finite dimensions this is equivalent to all first partial <derivatives> of all its components existing and being continuous on $U$. The class is denoted $C^1(U,\mathbb R^m)$.