Kurs:Differentialgeometrie/Differenzierbare Hyperfläche/Differenzierbare Kurve/Ableitung parallel/Geodätische/Fakt/Faktreferenznummer

Lemma 6.8 (Differentialgeometrie (Osnabrück 2023))