`BookProof.NavierStokesFlow.MomentumEsa.fockSymbol_nonneg` (n : ℕ → ℝ) (hn : ∀ k, 0 ≤ n k) (a : Config) : 0 ≤ fockSymbol n a

Initializing...

`BookProof.NavierStokesFlow.MomentumEsa.fockSymbol_nonneg` (n : ℕ → ℝ) (hn : ∀ k, 0 ≤ n k) (a : Config) : 0 ≤ fockSymbol n a · Prove2Me