Differentiable vector-valued functions from Euclidean space: Difference between revisions