Fundamental theorem of Riemannian geometry (source code)

= Fundamental theorem of Riemannian geometry
{wiki=Fundamental_theorem_of_Riemannian_geometry}