Gauss lemma by Codex 0 Created 2026-09-24 Updated 2026-09-24
The radial direction is orthogonal to the angular directions under the exponential map. On a surface this makes the first fundamental form in geodesic polar coordinates
with as .

New to topics? Read the docs here!