`BookProof.StrichartzWave.multiplierOp_symmetric` (m : V → ℝ) (hm : Function.HasTemperateGrowth m) : BookProof.FarisLavine.SymmetricOn (schwartzDomain V) (opL2 (multiplierOp m))

Initializing...

`BookProof.StrichartzWave.multiplierOp_symmetric` (m : V → ℝ) (hm : Function.HasTemperateGrowth m) : BookProof.FarisLavine.SymmetricOn (schwartzDomain V) (opL2 (multiplierOp m)) · Prove2Me