Lemma 17.2
Kurs:Maß- und Integrationstheorie (Osnabrück 2022-2023)/Vorlesung 17 Hausdorffraum/Kompakte Teilmenge/Abgeschlossen/Fakt