Kurs:Differentialgeometrie/Mannigfaltigkeit mit Rand/Stokes/Nichtexistenz von Retraktionen/Fakt/Faktreferenznummer

Satz 23.9 (Differentialgeometrie (Osnabrück 2023))