Commit 2026-02-24 18:27 971bdd8a

feat: local frames in a vector bundle (#30083) We construct local frames on a vector from local trivialisations. The former constructs, given a trivialisation e of the vector bundle and a basis of the model fibre, Basis.localFrame is a local frame on e.baseSet A future PR will use this to define the local extension of a tangent vector to a vector field near a point. From the path towards geodesics and the Levi-Civita connection.