`BookProof.StrichartzWave.mulL2_coeFn` (W : Lp ℂ (⊤ : ℝ≥0∞) (volume : Measure V)) (u : Lp ℂ 2 (volume : Measure V)) : (mulL2 W u : V → ℂ) =ᵐ[(volume : Measure V)] fun x => (W x) *

Initializing...

`BookProof.StrichartzWave.mulL2_coeFn` (W : Lp ℂ (⊤ : ℝ≥0∞) (volume : Measure V)) (u : Lp ℂ 2 (volume : Measure V)) : (mulL2 W u : V → ℂ) =ᵐ[(volume : Measure V)] fun x => (W x) * · Prove2Me