`BookProof.QgMultiHalfDensity.multi_physical_hasZeroDeficiencyOn` {V : ℝ × X → ℝ} (hV : Measurable V) : BookProof.NavierStokesFlow.HasZeroDeficiencyOn (boundedEnergyCore (BookProof

Initializing...

`BookProof.QgMultiHalfDensity.multi_physical_hasZeroDeficiencyOn` {V : ℝ × X → ℝ} (hV : Measurable V) : BookProof.NavierStokesFlow.HasZeroDeficiencyOn (boundedEnergyCore (BookProof · Prove2Me