Commit 2025-07-07 15:08 e2958472
View on Github →chore(VectorBundle/Basic): minor clean-ups and polish (#26864) Found while working on the path towards geodesics and the Levi-Civita connection.
chore(VectorBundle/Basic): minor clean-ups and polish (#26864) Found while working on the path towards geodesics and the Levi-Civita connection.