`BookProof.NavierStokesFlow.MomentumPerturbation.pertHam_essentiallySelfAdjointOn_core` (c : ι → ℝ) (hc : ∀ k, 1 ≤ c k) (u w : maxDom c) : EssentiallySelfAdjointOn (lpFiniteModes ι

Initializing...

`BookProof.NavierStokesFlow.MomentumPerturbation.pertHam_essentiallySelfAdjointOn_core` (c : ι → ℝ) (hc : ∀ k, 1 ≤ c k) (u w : maxDom c) : EssentiallySelfAdjointOn (lpFiniteModes ι · Prove2Me