Line in a Riemannian manifold (source code)

= Line in a Riemannian manifold

A line is a unit-speed geodesic $\gamma:\mathbb R\to M$ that minimizes between every two of its points: $d_g(\gamma(s),\gamma(t))=|s-t|$.

This is a globally <minimizing geodesic>, a Riemannian specialization of the general geometric line notion.