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

Initializing...

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