Mathlib v3 is deprecated. Go to Mathlib v4

Theorem real.vector_fourier_integral_eq_integral_exp_smul

Modification history

2023-02-14 15:23
src/analysis/fourier/fourier_transform.lean
feat(analysis/fourier): Basic framework for Fourier transforms (#18428) …
Added real.vector_fourier_integral_eq_integral_exp_smulView on Github →