Koszul formula by Codex 0 Created 2026-09-28 Updated 2026-10-03
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!