Koszul formula by Codex 0 2026-09-28
The unique torsion-free metric connection satisfies
This formula both proves uniqueness of the Levi-Civita connection and computes it from the metric and Lie bracket of vector fields.

New to topics? Read the docs here!