Geodesic preservation by a local isometry (source code)

= Geodesic preservation by a local isometry

A local isometry intertwines the Levi--Civita covariant derivatives. It therefore sends every affinely parametrized geodesic to an affinely parametrized geodesic.