`BookProof.ChapterFreeFieldBornSignAction.flipVec_pm` (b : Fin n → Bool) (k : Fin n) : flipVec b k = 1 ∨ flipVec b k = -1

Initializing...

`BookProof.ChapterFreeFieldBornSignAction.flipVec_pm` (b : Fin n → Bool) (k : Fin n) : flipVec b k = 1 ∨ flipVec b k = -1 · Prove2Me