Satz 79.3
Kurs:Mathematik (Osnabrück 2009-2011)/Teil III/Vorlesung 79
Abgeschlossene Untermannigfaltigkeit/Punktweise/Tangentialraum als Unterraum/Fakt