`BookProof.NavierStokesFlow.AffineBlock.affBlockH_essentiallySelfAdjointOn_core` (κ c : J → ℝ) (hκ : ∀ j, 0 ≤ κ j) (hc : ∀ j, 0 ≤ c j) : EssentiallySelfAdjointOn (lpFiniteModes (ℕ

Initializing...

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