Lemma 18.7
Kurs:Maß- und Integrationstheorie (Osnabrück 2022-2023)/Vorlesung 18 Topologischer Raum/Kompakt/R/Algebra/Betrag/Fakt