`BookProof.ChapterFreeFieldBornSignMatrix.flipMatrix_xor` (b₁ b₂ : Fin n → Bool) : flipMatrix (fun k => xor (b₁ k) (b₂ k)) = flipMatrix b₁ * flipMatrix b₂

Initializing...

`BookProof.ChapterFreeFieldBornSignMatrix.flipMatrix_xor` (b₁ b₂ : Fin n → Bool) : flipMatrix (fun k => xor (b₁ k) (b₂ k)) = flipMatrix b₁ * flipMatrix b₂ · Prove2Me