`BookProof.StrichartzWave.wave_add_potential_essentiallySelfAdjoint` (n : ℕ) (W : SpaceTime n → ℝ) (hW : MemLp (fun x => (W x : ℂ)) (⊤ : ℝ≥0∞) (volume : Measure (SpaceTime n))) : B

Initializing...

`BookProof.StrichartzWave.wave_add_potential_essentiallySelfAdjoint` (n : ℕ) (W : SpaceTime n → ℝ) (hW : MemLp (fun x => (W x : ℂ)) (⊤ : ℝ≥0∞) (volume : Measure (SpaceTime n))) : B · Prove2Me