`BookProof.NavierStokesFlow.MomentumEsa.nsFockComparison_ikebeKato` (d : ℕ) (p q : Fin d → ℕ → ℝ) : EssentiallySelfAdjointOn (lpFiniteModes Config) ((diagMax (nsFockSymbol d p q)).

Initializing...

`BookProof.NavierStokesFlow.MomentumEsa.nsFockComparison_ikebeKato` (d : ℕ) (p q : Fin d → ℕ → ℝ) : EssentiallySelfAdjointOn (lpFiniteModes Config) ((diagMax (nsFockSymbol d p q)). · Prove2Me