`BookProof.NavierStokesFlow.BilinearEsa.bilH_symmetricOn` (κ : J → ℝ) (hκ : ∀ j, 0 ≤ κ j) : SymmetricOn (lpFiniteModes (ℕ × J)) (bilH κ)

Initializing...

`BookProof.NavierStokesFlow.BilinearEsa.bilH_symmetricOn` (κ : J → ℝ) (hκ : ∀ j, 0 ≤ κ j) : SymmetricOn (lpFiniteModes (ℕ × J)) (bilH κ) · Prove2Me