`BookProof.StrichartzWave.potentialOp_symmetric` (W : V → ℝ) (hW : Function.HasTemperateGrowth W) : BookProof.FarisLavine.SymmetricOn (schwartzDomain V) (opL2 (potentialOp W))

Initializing...

`BookProof.StrichartzWave.potentialOp_symmetric` (W : V → ℝ) (hW : Function.HasTemperateGrowth W) : BookProof.FarisLavine.SymmetricOn (schwartzDomain V) (opL2 (potentialOp W)) · Prove2Me