`BookProof.ChapterFreeFieldBornFiberStabilizer.boolSign_pm_inc` (b : Fin n → Bool) (k : Fin n) : boolSign b k = 1 ∨ boolSign b k = -1

Initializing...

`BookProof.ChapterFreeFieldBornFiberStabilizer.boolSign_pm_inc` (b : Fin n → Bool) (k : Fin n) : boolSign b k = 1 ∨ boolSign b k = -1 · Prove2Me