`BookProof.StrichartzWave.integral_conj_mul_multiplier_sub_eq_zero` (m : V → ℝ) (hm : Function.HasTemperateGrowth m) (z : ℂ) (u : Lp ℂ 2 (volume : Measure V)) (hu : ∀ v : schwartzD

Initializing...

`BookProof.StrichartzWave.integral_conj_mul_multiplier_sub_eq_zero` (m : V → ℝ) (hm : Function.HasTemperateGrowth m) (z : ℂ) (u : Lp ℂ 2 (volume : Measure V)) (hu : ∀ v : schwartzD · Prove2Me