`BookProof.NavierStokesFlow.MomentumEsa.navierStokes_fock_hamiltonian_essentiallySelfAdjointOn_core` (d : ℕ) (p q : Fin d → ℕ → ℝ) (H : maxDom (nsFockSymbol d p q) →ₗ[ℂ] L2I Config

Initializing...

`BookProof.NavierStokesFlow.MomentumEsa.navierStokes_fock_hamiltonian_essentiallySelfAdjointOn_core` (d : ℕ) (p q : Fin d → ℕ → ℝ) (H : maxDom (nsFockSymbol d p q) →ₗ[ℂ] L2I Config · Prove2Me