simp [fourierIntegrand_eq_hasTemperateGrowth_smul]
F : Type u_1
inst✝² : NormedAddCommGroup F
inst✝¹ : NormedSpace ℂ F
inst✝ : CompleteSpace F
f : 𝓢(ℝ, F)
ξ : ℝ
⊢ Integrable fun x => ↑(Real.fourierChar (Multiplicative.ofAdd (-(x * ξ)))) • f x
no goals