Commit 2026-03-10 11:05 aeed612d
View on Github →feat(Manifold/VectorBundle): tensoriality construction (#36432)
Given vector bundles V and W over a manifold, one can construct a section of the hom-bundle Π x, V x →L[𝕜] W x from a tensorial operation sending sections of V to sections of W. This PR provides this construction.
Future PRs will use this to prove locality results about covariant derivatives.
From the path towards Riemannian geometry, including geodesics and the Levi-Civita connection.