Commit 2025-12-24 01:45 4be5c687
View on Github →feat(Analysis/TemperedDistribution): the Fourier transform on tempered distributions extends the FT on Schwartz space (#33232) We add some lemmas about self-adjointness of the Fourier transform for convenience and prove that the Fourier transform (and inverse Fourier transform) on tempered distributions is an extension of the Fourier transform on Schwartz functions.