`BookProof.StrichartzWave.integral_conj_mul_potential_sub_eq_zero` (W : V → ℝ) (hW : Function.HasTemperateGrowth W) (z : ℂ) (u : Lp ℂ 2 (volume : Measure V)) (hu : ∀ v : schwartzDo

Initializing...

`BookProof.StrichartzWave.integral_conj_mul_potential_sub_eq_zero` (W : V → ℝ) (hW : Function.HasTemperateGrowth W) (z : ℂ) (u : Lp ℂ 2 (volume : Measure V)) (hu : ∀ v : schwartzDo · Prove2Me