Satz 10.3
Kurs:Differentialgeometrie (Osnabrück 2023)/Vorlesung 10 Abgeschlossene Untermannigfaltigkeit/Punktweise/Tangentialraum als Unterraum/Fakt