`BookProof.NavierStokesFlow.AffineFiber.le_amp` {κ : ℝ} (hκ : 0 ≤ κ) (n : ℕ) : (κ / 2) * ((n : ℝ) + 1) ≤ amp κ n

Initializing...

`BookProof.NavierStokesFlow.AffineFiber.le_amp` {κ : ℝ} (hκ : 0 ≤ κ) (n : ℕ) : (κ / 2) * ((n : ℝ) + 1) ≤ amp κ n · Prove2Me