`BookProof.NavierStokesFlow.FockOfFock.dGamma_hasZeroDeficiencyOn` (ω : M → ℝ) : HasZeroDeficiencyOn (FockDom M) (dGamma ω)

Initializing...

`BookProof.NavierStokesFlow.FockOfFock.dGamma_hasZeroDeficiencyOn` (ω : M → ℝ) : HasZeroDeficiencyOn (FockDom M) (dGamma ω) · Prove2Me