`BookProof.NavierStokesFlow.BilinearEsa.blockVec_bilH_apply` (κ : J → ℝ) (x : lpFiniteModes (ℕ × J)) (j : J) (n : ℕ) : ((bilH κ x : L2I (ℕ × J)) : ℕ × J → ℂ) (n, j) = hFun...

Initializing...

`BookProof.NavierStokesFlow.BilinearEsa.blockVec_bilH_apply` (κ : J → ℝ) (x : lpFiniteModes (ℕ × J)) (j : J) (n : ℕ) : ((bilH κ x : L2I (ℕ × J)) : ℕ × J → ℂ) (n, j) = hFun... · Prove2Me