Kurs:Differentialgeometrie (Osnabrück 2023)/Abgeschlossene Untermannigfaltigkeit/Punktweise/Tangentialraum als Unterraum/Fakt/Faktreferenznummer