Cheeger-Gromoll splitting theorem (source code)

= Cheeger-Gromoll splitting theorem
{c}
{wiki=Cheeger–Gromoll_splitting_theorem}

A complete connected Riemannian manifold with nonnegative Ricci curvature that contains a line splits isometrically as $N\times\mathbb R$.