`BookProof.ChapterFreeFieldBornSignMatrix.flipMatrix_false` : flipMatrix (fun _ => false : Fin n → Bool) = 1

Initializing...

`BookProof.ChapterFreeFieldBornSignMatrix.flipMatrix_false` : flipMatrix (fun _ => false : Fin n → Bool) = 1 · Prove2Me