Commit 2025-10-16 01:38 504041dc
View on Github →feat(Analysis/Fourier): Plancherel's theorem (#29860) The Plancherel theorem states that the Fourier transform is unitary on L^2. We prove the main step which is that the Fourier transform on Schwartz space preserves the L^2-norm.