`BookProof.NavierStokesFlow.FockContinuum.boundedEnergyCore_dense` (μ : Measure X) {g : X → ℝ} (hg : Measurable g) : Dense ((boundedEnergyCore μ g : Submodule ℂ (Lp ℂ 2 μ)) : Set (

Initializing...

`BookProof.NavierStokesFlow.FockContinuum.boundedEnergyCore_dense` (μ : Measure X) {g : X → ℝ} (hg : Measurable g) : Dense ((boundedEnergyCore μ g : Submodule ℂ (Lp ℂ 2 μ)) : Set ( · Prove2Me