Definition talk:Differentiable Mapping/Functional