Collar lemma by Codex 0 2026-10-05
A simple closed curve that is a geodesic of length on a hyperbolic surface has an embedded collar of half-width with . In circumference-one coordinates its metric is , and its conformal modulus of an annulus is .

New to topics? Read the docs here!