`BookProof.FourierMultiplierEsa.mixedOp_symmetric` (a c : ι → ℝ) (w : ι → V) (κ : ℝ) : BookProof.FarisLavine.SymmetricOn (schwartzDomain V) (opL2 (mixedOp a c w κ))

Initializing...

`BookProof.FourierMultiplierEsa.mixedOp_symmetric` (a c : ι → ℝ) (w : ι → V) (κ : ℝ) : BookProof.FarisLavine.SymmetricOn (schwartzDomain V) (opL2 (mixedOp a c w κ)) · Prove2Me