exact (hasTemperateGrowth_smul Function.hasTemperateGrowth_id f).integrable
case refine_1
F : Type u_1
inst✝² : NormedAddCommGroup F
inst✝¹ : NormedSpace ℂ F
inst✝ : CompleteSpace F
f : 𝓢(ℝ, F)
ξ : ℝ
⊢ Integrable fun x => x • f x
no goals