`BookProof.ChapterFreeFieldBornSignAction.bornMap_boolFlip` (b : Fin n → Bool) (x : EuclideanSpace ℝ (Fin n)) : bornMap (boolFlip b x) = bornMap x

Initializing...

`BookProof.ChapterFreeFieldBornSignAction.bornMap_boolFlip` (b : Fin n → Bool) (x : EuclideanSpace ℝ (Fin n)) : bornMap (boolFlip b x) = bornMap x · Prove2Me