Commit 2026-03-10 22:48 c729b52c
View on Github →feat(Analysis/Fourier): the Fourier transform as bounded continuous function (#35954)
This is the main step in proving that the Fourier transform defined via the integral is equal to the Fourier transform on L1 via extension of Schwartz functions. We do not use the Riemann-Lebesgue lemma here to define the map into ZeroAtInftyContinuousMap because it is possible to deduce Riemann-Lebesgue from embedding of Schwartz functions.