Commit 2026-03-18 22:42 83bd0ba4

feat: torsion of an affine connection (#36285) We define the torsion tensor of an affine connection, i.e. a covariant derivative on the tangent bundle TM of some manifold M. Note that we intentionally do not define the torsion tensor for a connection on a set, as we don't know any actual application of that. (It is easy to add in the future, if need ever arises.) From the path towards the the Levi-Civita connection and Riemannian geometry.