simpa [contDiff_zero] using continuous_fourierIntegral f
case h0
F : Type u_1
inst✝² : NormedAddCommGroup F
inst✝¹ : NormedSpace ℂ F
inst✝ : CompleteSpace F
f : 𝓢(ℝ, F)
⊢ ContDiff ℝ 0 fun ξ => 𝓕 (fun x => f x) ξ
no goals