Mathlib v3 is deprecated. Go to Mathlib v4

Theorem vector_fourier.fourier_integral_convergent_iff

Modification history

2023-04-30 20:09
src/analysis/fourier/fourier_transform.lean
feat(analysis/fourier): Riemann-Lebesgue lemma (#17719) …
Added vector_fourier.fourier_integral_convergent_iffView on Github →