Commit 2025-08-22 23:56 4d141619
View on Github →chore: golf the proof in #26875 (#28046) From the path towards the existence of Riemannian metrics, i.e. towards the Levi-Civita connection.
chore: golf the proof in #26875 (#28046) From the path towards the existence of Riemannian metrics, i.e. towards the Levi-Civita connection.