`BookProof.NavierStokesFlow.AffineBlock.affBlockH_symmetricOn` (κ c : J → ℝ) (hκ : ∀ j, 0 ≤ κ j) (hc : ∀ j, 0 ≤ c j) : SymmetricOn (lpFiniteModes (ℕ × J)) (affBlockH κ c hκ hc)

Initializing...

`BookProof.NavierStokesFlow.AffineBlock.affBlockH_symmetricOn` (κ c : J → ℝ) (hκ : ∀ j, 0 ≤ κ j) (hc : ∀ j, 0 ≤ c j) : SymmetricOn (lpFiniteModes (ℕ × J)) (affBlockH κ c hκ hc) · Prove2Me