`BookProof.NavierStokesFlow.MomentumEsa.ns_hamiltonian_essentiallySelfAdjointOn_core` (d : ℕ) (p q : Fin d → ℕ → ℝ) (H : maxDom (nsSymbol d p q) →ₗ[ℂ] L2I ℕ) (a b cst : ℝ) (hH : Sy

Initializing...

`BookProof.NavierStokesFlow.MomentumEsa.ns_hamiltonian_essentiallySelfAdjointOn_core` (d : ℕ) (p q : Fin d → ℕ → ℝ) (H : maxDom (nsSymbol d p q) →ₗ[ℂ] L2I ℕ) (a b cst : ℝ) (hH : Sy · Prove2Me