Satz 23.6
Kurs:Maß- und Integrationstheorie (Osnabrück 2022-2023)/Vorlesung 23 Periodische Funktion/Komplexe Exponentialfunktion/Vollständiges Orthonormalsystem/L^2-Raum/Fakt