`BookProof.NavierStokesFlow.JacobiDeficiency.jacobiWeight_pos` (n : ℕ) : 0 < jacobiWeight n

Initializing...

`BookProof.NavierStokesFlow.JacobiDeficiency.jacobiWeight_pos` (n : ℕ) : 0 < jacobiWeight n · Prove2Me