Kurs:Differentialgeometrie/Mannigfaltigkeit mit Rand/Rand ist Mannigfaltigkeit/Fakt/Faktreferenznummer

Satz 21.4 (Differentialgeometrie (Osnabrück 2023))