Lemma 9.5
Kurs:Differentialgeometrie (Osnabrück 2023)/Vorlesung 9 Differenzierbare Mannigfaltigkeit/Differenzierbare Kurve/Tangentialklassen und R^n unter Karte/Fakt