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

Satz 17.5 (Maß- und Integrationstheorie (Osnabrück 2022-2023))