simpa [Real.fourierIntegral_def, smul_comm _ c] using integral_smul c _
F : Type u_1
inst✝² : NormedAddCommGroup F
inst✝¹ : NormedSpace ℂ F
inst✝ : CompleteSpace F
c : ℝ
f : 𝓢(ℝ, F)
ξ : ℝ
⊢ 𝓕 (fun x => c • f x) ξ = c • 𝓕 (fun x => f x) ξ
no goals