`BookProof.NavierStokesFlow.MomentumEsa.fockComparison_core` (n : ℕ → ℝ) (x : maxDom (fockSymbol n)) (ε : ℝ) (hε : 0 < ε) : ∃ y : maxDom (fockSymbol n), (y : L2I Config) ∈ lpFinite

Initializing...

`BookProof.NavierStokesFlow.MomentumEsa.fockComparison_core` (n : ℕ → ℝ) (x : maxDom (fockSymbol n)) (ε : ℝ) (hε : 0 < ε) : ∃ y : maxDom (fockSymbol n), (y : L2I Config) ∈ lpFinite · Prove2Me