Kurs:Differentialgeometrie/Mannigfaltigkeit mit Rand/Rand/Elementare Eigenschaften/Fakt/Faktreferenznummer

Lemma 21.3 (Differentialgeometrie (Osnabrück 2023))