Lemma 23.3
Kurs:Maß- und Integrationstheorie (Osnabrück 2022-2023)/Vorlesung 23 Periodische Funktion/Fourierkoeffizienten/Komplex und reell/Fakt