`BookProof.NsSpatialMultiplier.fourier_opL2_firstOrderOp` (c : ι → ℝ) (w : ι → V) (f : 𝓢(V, ℂ)) : l2Fourier V (opL2 (firstOrderOp c w) (schwartzEquiv V f)) = (mulSymbolOp (foSymbol

Initializing...

`BookProof.NsSpatialMultiplier.fourier_opL2_firstOrderOp` (c : ι → ℝ) (w : ι → V) (f : 𝓢(V, ℂ)) : l2Fourier V (opL2 (firstOrderOp c w) (schwartzEquiv V f)) = (mulSymbolOp (foSymbol · Prove2Me