`BookProof.StrichartzWave.wave_add_potentialOp_symmetric` (n : ℕ) (W : SpaceTime n → ℝ) (hW : Function.HasTemperateGrowth W) : BookProof.FarisLavine.SymmetricOn (schwartzDomain (Sp

Initializing...

`BookProof.StrichartzWave.wave_add_potentialOp_symmetric` (n : ℕ) (W : SpaceTime n → ℝ) (hW : Function.HasTemperateGrowth W) : BookProof.FarisLavine.SymmetricOn (schwartzDomain (Sp · Prove2Me