`BookProof.ChapterFreeFieldBornFiberStabilizer.posSupport_bornMap` (x : EuclideanSpace ℝ (Fin n)) : posSupport (bornMap x) = Finset.univ.filter (fun k => x k ≠ 0)

Initializing...

`BookProof.ChapterFreeFieldBornFiberStabilizer.posSupport_bornMap` (x : EuclideanSpace ℝ (Fin n)) : posSupport (bornMap x) = Finset.univ.filter (fun k => x k ≠ 0) · Prove2Me