Kurs:Differentialgeometrie (Osnabrück 2023)/Mannigfaltigkeit mit Rand/Rand ist Mannigfaltigkeit/Fakt/Faktreferenznummer