Kurs:Differentialgeometrie/Ebene differenzierbare Kurve/Faser/Krümmung/Fakt/Faktreferenznummer

Lemma 3.11 (Differentialgeometrie (Osnabrück 2023))