Mathlib v3 is deprecated. Go to Mathlib v4

Theorem tendsto_integral_exp_smul_cocompact_of_inner_product

Modification history

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