`BookProof.ChapterFreeFieldBornSignMatrix.flipMatrix_sq` (b : Fin n → Bool) : flipMatrix b * flipMatrix b = 1

Initializing...

`BookProof.ChapterFreeFieldBornSignMatrix.flipMatrix_sq` (b : Fin n → Bool) : flipMatrix b * flipMatrix b = 1 · Prove2Me