`BookProof.NavierStokesFlow.AffineFiber.affH_essentiallySelfAdjointOn_core` {κ c : ℝ} (hκ : 0 ≤ κ) (hc : 0 ≤ c) : EssentiallySelfAdjointOn (lpFiniteModes ℕ) ((affH hκ hc).comp (Sub

Initializing...

`BookProof.NavierStokesFlow.AffineFiber.affH_essentiallySelfAdjointOn_core` {κ c : ℝ} (hκ : 0 ≤ κ) (hc : 0 ≤ c) : EssentiallySelfAdjointOn (lpFiniteModes ℕ) ((affH hκ hc).comp (Sub · Prove2Me