`BookProof.NavierStokesFlow.FockContinuum.multOp_hasZeroDeficiencyOn` (μ : Measure X) {g : X → ℝ} (hg : Measurable g) : HasZeroDeficiencyOn (boundedEnergyCore μ g) (multOp μ hg)

Initializing...

`BookProof.NavierStokesFlow.FockContinuum.multOp_hasZeroDeficiencyOn` (μ : Measure X) {g : X → ℝ} (hg : Measurable g) : HasZeroDeficiencyOn (boundedEnergyCore μ g) (multOp μ hg) · Prove2Me