Mathlib v3 is deprecated. Go to Mathlib v4

Theorem fourier.norm_fourier_integral_le_integral_norm

Modification history

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