`BookProof.NavierStokesFlow.FockOfFock.hTwoLevel_hasZeroDeficiencyOn` (ext : J → ℝ) (eps : K → ℝ) : HasZeroDeficiencyOn (FockOfFockDom J K) (hTwoLevel ext eps)

Initializing...

`BookProof.NavierStokesFlow.FockOfFock.hTwoLevel_hasZeroDeficiencyOn` (ext : J → ℝ) (eps : K → ℝ) : HasZeroDeficiencyOn (FockOfFockDom J K) (hTwoLevel ext eps) · Prove2Me