Theorem Real.fourier_congr_ae

Modification history

2026-03-10 22:48
Mathlib/Analysis/Fourier/FourierTransform.lean
feat(Analysis/Fourier): the Fourier transform as bounded continuous function (#35954) …
Added Real.fourier_congr_aeView on Github →