Commit 2026-03-10 16:35 0e6621de
View on Github →feat: mfderiv_smul (#34263)
Some invisible mathematics is showing up when working with scalar multiplication by a function: a priori, the mfderiv yields an element in a suitable tangent space --- which we identity implicitly with the corresponding vector/scalar. We insert the canonical identification NormedSpace.fromTangentSpace as needed to deal with this.
From the path towards geodesics and the Levi-Civita connection.