Satz 16.2
Kurs:Differentialgeometrie (Osnabrück 2023)/Vorlesung 16 Riemannsche Mannigfaltigkeit/Abgeschlossene Untermannigfaltigkeit/Riemannsch/Fakt
