`BookProof.FourierMultiplierEsa.firstOrderOp_symmetric` (c : ι → ℝ) (w : ι → V) : BookProof.FarisLavine.SymmetricOn (schwartzDomain V) (opL2 (firstOrderOp c w))

Initializing...

`BookProof.FourierMultiplierEsa.firstOrderOp_symmetric` (c : ι → ℝ) (w : ι → V) : BookProof.FarisLavine.SymmetricOn (schwartzDomain V) (opL2 (firstOrderOp c w)) · Prove2Me