`BookProof.ChapterFreeFieldBornSignGauge.bornMap_signFlip` {s : Fin n → ℝ} (hs : ∀ k, s k = 1 ∨ s k = -1) (x : EuclideanSpace ℝ (Fin n)) : bornMap (signFlip s x) = bornMap x

Initializing...

`BookProof.ChapterFreeFieldBornSignGauge.bornMap_signFlip` {s : Fin n → ℝ} (hs : ∀ k, s k = 1 ∨ s k = -1) (x : EuclideanSpace ℝ (Fin n)) : bornMap (signFlip s x) = bornMap x · Prove2Me