Lemma 9.2
Kurs:Differentialgeometrie (Osnabrück 2023)/Vorlesung 9 Differenzierbare Mannigfaltigkeit/Differenzierbare Kurve/Tangential äquivalent/Beliebige offene Umgebung/Fakt