`BookProof.StrichartzWave.wave_add_boundedPotentialOp_essentiallySelfAdjoint` (n : ℕ) (W : SpaceTime n → ℝ) (hW : Function.HasTemperateGrowth W) (hmem : MemLp (fun x => (W x : ℂ))

Initializing...

`BookProof.StrichartzWave.wave_add_boundedPotentialOp_essentiallySelfAdjoint` (n : ℕ) (W : SpaceTime n → ℝ) (hW : Function.HasTemperateGrowth W) (hmem : MemLp (fun x => (W x : ℂ)) · Prove2Me