Elliptization theorem (source code)

= Elliptization theorem
{wiki=Elliptization_conjecture}

Every connected closed orientable <three-manifold> with finite <fundamental group> admits spherical geometry. With cyclic <fundamental group>, it is a <lens space>.