Kurs:Differentialgeometrie/Kompaktheit/Satz von Heine-Borel/Fakt/Faktreferenznummer

Satz 13.14 (Differentialgeometrie (Osnabrück 2023))