`BookProof.StrichartzWave.wave_add_boundedPotential_essentiallySelfAdjoint` (n : ℕ) (W : Lp ℂ (⊤ : ℝ≥0∞) (volume : Measure (SpaceTime n))) (hW : ∀ᵐ x ∂(volume : Measure (SpaceTime

Initializing...

`BookProof.StrichartzWave.wave_add_boundedPotential_essentiallySelfAdjoint` (n : ℕ) (W : Lp ℂ (⊤ : ℝ≥0∞) (volume : Measure (SpaceTime n))) (hW : ∀ᵐ x ∂(volume : Measure (SpaceTime · Prove2Me