`BookProof.NavierStokesFlow.AffineBlock.affBlockH_not_bounded` (κ c : J → ℝ) (hκ : ∀ j, 0 ≤ κ j) (hc : ∀ j, 0 ≤ c j) (hunb : ∀ C : ℝ, ∃ j, C < κ j) (C : ℝ) : ∃ x :...

Initializing...

`BookProof.NavierStokesFlow.AffineBlock.affBlockH_not_bounded` (κ c : J → ℝ) (hκ : ∀ j, 0 ≤ κ j) (hc : ∀ j, 0 ≤ c j) (hunb : ∀ C : ℝ, ∃ j, C < κ j) (C : ℝ) : ∃ x :... · Prove2Me