`BookProof.ChapterFreeFieldBorn.bornMap_nonneg` (x : EuclideanSpace ℝ (Fin n)) (k : Fin n) : 0 ≤ bornMap x k

Initializing...

`BookProof.ChapterFreeFieldBorn.bornMap_nonneg` (x : EuclideanSpace ℝ (Fin n)) (k : Fin n) : 0 ≤ bornMap x k · Prove2Me