`BookProof.FourierMultiplierEsa.fourier_firstOrderOp_apply` (c : ι → ℝ) (w : ι → V) (f : 𝓢(V, ℂ)) (x : V) : (𝓕 (firstOrderOp c w f) : 𝓢(V, ℂ)) x = ((foSymbolFn c w x : ℝ)...

Initializing...

`BookProof.FourierMultiplierEsa.fourier_firstOrderOp_apply` (c : ι → ℝ) (w : ι → V) (f : 𝓢(V, ℂ)) (x : V) : (𝓕 (firstOrderOp c w f) : 𝓢(V, ℂ)) x = ((foSymbolFn c w x : ℝ)... · Prove2Me