Mathlib v3 is deprecated. Go to Mathlib v4

Theorem zero_at_infty_integral_mul_exp_of_continuous_compact_support

Modification history

2023-04-30 20:09
src/analysis/fourier/riemann_lebesgue_lemma.lean
feat(analysis/fourier): Riemann-Lebesgue lemma (#17719) …
Deleted zero_at_infty_integral_mul_exp_of_continuous_compact_supportView on Github →
2023-02-14 15:23
src/analysis/fourier/riemann_lebesgue_lemma.lean
feat(analysis/fourier): Basic framework for Fourier transforms (#18428) …
Added zero_at_infty_integral_mul_exp_of_continuous_compact_supportView on Github →