`BookProof.ChapterFreeFieldBornSectionBij.bornSection_nonneg` (p : Fin n → ℝ) : bornSection p ∈ nonnegOrthant n

Initializing...

`BookProof.ChapterFreeFieldBornSectionBij.bornSection_nonneg` (p : Fin n → ℝ) : bornSection p ∈ nonnegOrthant n · Prove2Me