Lemma 21.14
Kurs:Maß- und Integrationstheorie (Osnabrück 2022-2023)/Vorlesung 21 Hilbertraum/Stetig lineare Abbildung/Gradient/Fakt