`BookProof.StrichartzWave.fourier_multiplierOp_apply` {m : V → ℝ} (hm : Function.HasTemperateGrowth m) (f : 𝓢(V, ℂ)) (x : V) : (𝓕 (multiplierOp m f) : 𝓢(V, ℂ)) x = ((m x : ℝ) : ℂ)

Initializing...

`BookProof.StrichartzWave.fourier_multiplierOp_apply` {m : V → ℝ} (hm : Function.HasTemperateGrowth m) (f : 𝓢(V, ℂ)) (x : V) : (𝓕 (multiplierOp m f) : 𝓢(V, ℂ)) x = ((m x : ℝ) : ℂ) · Prove2Me