Mathlib v3 is deprecated. Go to Mathlib v4

Theorem fourier_integral_half_period_translate

Modification history

2023-04-30 20:09
src/analysis/fourier/riemann_lebesgue_lemma.lean
feat(analysis/fourier): Riemann-Lebesgue lemma (#17719) …
Modified fourier_integral_half_period_translateView on Github →
2023-02-10 10:20
src/analysis/fourier/riemann_lebesgue_lemma.lean
feat(analysis/fourier): Riemann-Lebesgue lemma (part 1) (#18361) …
Added fourier_integral_half_period_translateView on Github →