`BookProof.StrichartzWave.memLp_top_of_continuous_of_hasCompactSupport` {W : V → ℝ} (hW : Continuous W) (hWc : HasCompactSupport W) : MemLp (fun x => (W x : ℂ)) (⊤ : ℝ≥0∞) (volume

Initializing...

`BookProof.StrichartzWave.memLp_top_of_continuous_of_hasCompactSupport` {W : V → ℝ} (hW : Continuous W) (hWc : HasCompactSupport W) : MemLp (fun x => (W x : ℂ)) (⊤ : ℝ≥0∞) (volume · Prove2Me