`BookProof.ChapterFreeFieldBornSectionBij.bornMap_injOn_nonneg` : Set.InjOn (bornMap : EuclideanSpace ℝ (Fin n) → _) (nonnegOrthant n)

Initializing...

`BookProof.ChapterFreeFieldBornSectionBij.bornMap_injOn_nonneg` : Set.InjOn (bornMap : EuclideanSpace ℝ (Fin n) → _) (nonnegOrthant n) · Prove2Me