`BookProof.NavierStokesFlow.JacobiDeficiency.jacobiWeight_ge` (n : ℕ) : (2 : ℝ) * 4 ^ n ≤ jacobiWeight n

Initializing...

`BookProof.NavierStokesFlow.JacobiDeficiency.jacobiWeight_ge` (n : ℕ) : (2 : ℝ) * 4 ^ n ≤ jacobiWeight n · Prove2Me