`BookProof.NavierStokesFlow.MomentumEsa.nsSymbol_nonneg` (d : ℕ) (p q : Fin d → ℕ → ℝ) (k : ℕ) : 0 ≤ nsSymbol d p q k

Initializing...

`BookProof.NavierStokesFlow.MomentumEsa.nsSymbol_nonneg` (d : ℕ) (p q : Fin d → ℕ → ℝ) (k : ℕ) : 0 ≤ nsSymbol d p q k · Prove2Me