`BookProof.StrichartzWave.mulL2_symmetric` (W : Lp ℂ (⊤ : ℝ≥0∞) (volume : Measure V)) (hW : ∀ᵐ x ∂(volume : Measure V), (starRingEnd ℂ) (W x) = W x) (u w : Lp ℂ 2 (volume : Measure

Initializing...

`BookProof.StrichartzWave.mulL2_symmetric` (W : Lp ℂ (⊤ : ℝ≥0∞) (volume : Measure V)) (hW : ∀ᵐ x ∂(volume : Measure V), (starRingEnd ℂ) (W x) = W x) (u w : Lp ℂ 2 (volume : Measure · Prove2Me