`BookProof.ChapterFreeFieldBornFiberStabilizer.mem_signStab_inc` {x : EuclideanSpace ℝ (Fin n)} {b : Fin n → Bool} : b ∈ signStab x ↔ ∀ k, x k ≠ 0 → b k = true

Initializing...

`BookProof.ChapterFreeFieldBornFiberStabilizer.mem_signStab_inc` {x : EuclideanSpace ℝ (Fin n)} {b : Fin n → Bool} : b ∈ signStab x ↔ ∀ k, x k ≠ 0 → b k = true · Prove2Me