Kurs:Differentialgeometrie (Osnabrück 2023)/Kompaktheit/Satz von Heine-Borel/Fakt/Faktreferenznummer