Kurs:Differentialgeometrie/Mannigfaltigkeit mit Rand/Orientierung/Randorientierung/Fakt/Faktreferenznummer

Satz 21.8 (Differentialgeometrie (Osnabrück 2023))