`BookProof.StrichartzWave.opL2_potentialOp_eq_mulL2` (W : V → ℝ) (hW : Function.HasTemperateGrowth W) (hmem : MemLp (fun x => (W x : ℂ)) (⊤ : ℝ≥0∞) (volume : Measure V)) : opL2 (po

Initializing...

`BookProof.StrichartzWave.opL2_potentialOp_eq_mulL2` (W : V → ℝ) (hW : Function.HasTemperateGrowth W) (hmem : MemLp (fun x => (W x : ℂ)) (⊤ : ℝ≥0∞) (volume : Measure V)) : opL2 (po · Prove2Me