Satz 20.9
Kurs:Maß- und Integrationstheorie (Osnabrück 2022-2023)/Vorlesung 20 Topologischer Raum/Normal/P-integrierbar/Stetige Funktionen mit kompakten Träger/Dicht/Fakt