Derivatives of affine maps #
In this file we prove formulas for one-dimensional derivatives of affine maps
f : 𝕜 →ᵃ[𝕜] E. We
also specialise some of these results to
AffineMap.lineMap because it is useful to transfer MVT
from dimension 1 to a domain in higher dimension.
affine map, derivative, differentiability
Line map #
In this section we specialize some lemmas to
AffineMap.lineMap because this map is very useful to
deduce higher dimensional lemmas from one-dimensional versions.