`BookProof.NavierStokesFlow.BilinearEsa.deficiencyTrivialAt_bilH` (κ : J → ℝ) (hκ : ∀ j, 0 ≤ κ j) (z : ℂ) (hblk : ∀ j, DeficiencyTrivialAt (lpFiniteModes ℕ) ((nsH (κ j) (hκ j)).com

Initializing...

`BookProof.NavierStokesFlow.BilinearEsa.deficiencyTrivialAt_bilH` (κ : J → ℝ) (hκ : ∀ j, 0 ≤ κ j) (z : ℂ) (hblk : ∀ j, DeficiencyTrivialAt (lpFiniteModes ℕ) ((nsH (κ j) (hκ j)).com · Prove2Me