Mathlib v3 is deprecated. Go to Mathlib v4

Def fourier.fourier_integral

Modification history

2023-02-14 15:23

src/analysis/fourier/fourier_transform.lean

feat(analysis/fourier): Basic framework for Fourier transforms (#18428) …

Added fourier.fourier_integral View on Github →