Lemma 21.3
Kurs:Maß- und Integrationstheorie (Osnabrück 2022-2023)/Vorlesung 21 Maßraum/Quadratintegrierbar/Hilbertraum/Fakt