`BookProof.NavierStokesFlow.AffineFiber.affH_ne_zero_of_pos_shear` {κ c : ℝ} (hκ : 0 ≤ κ) (hc : 0 < c) : affH hκ hc.le (basisState κ c 0) ≠ 0

Initializing...

`BookProof.NavierStokesFlow.AffineFiber.affH_ne_zero_of_pos_shear` {κ c : ℝ} (hκ : 0 ≤ κ) (hc : 0 < c) : affH hκ hc.le (basisState κ c 0) ≠ 0 · Prove2Me