`BookProof.StrichartzWave.wave_add_truncatedPotential_essentiallySelfAdjoint` (n : ℕ) (W : SpaceTime n → ℝ) (hW : Function.HasTemperateGrowth W) (R : ℝ) : ∃ WR : SpaceTime n → ℝ, F

Initializing...

`BookProof.StrichartzWave.wave_add_truncatedPotential_essentiallySelfAdjoint` (n : ℕ) (W : SpaceTime n → ℝ) (hW : Function.HasTemperateGrowth W) (R : ℝ) : ∃ WR : SpaceTime n → ℝ, F · Prove2Me