Lemma 19.4
Kurs:Maß- und Integrationstheorie (Osnabrück 2022-2023)/Vorlesung 19 Normierter Vektorraum/Vektorenfamilie/Summierbar/Abschluss/Fakt