`BookProof.ChapterFreeFieldBornSignAction.boolFlip_eq_self_iff` {b : Fin n → Bool} {x : EuclideanSpace ℝ (Fin n)} : boolFlip b x = x ↔ ∀ k, x k ≠ 0 → b k = false

Initializing...

`BookProof.ChapterFreeFieldBornSignAction.boolFlip_eq_self_iff` {b : Fin n → Bool} {x : EuclideanSpace ℝ (Fin n)} : boolFlip b x = x ↔ ∀ k, x k ≠ 0 → b k = false · Prove2Me