`BookProof.ChapterFreeFieldBornSignHom.flipVec_xor` (b₁ b₂ : Fin n → Bool) : flipVec (fun k => xor (b₁ k) (b₂ k)) = flipVec b₁ * flipVec b₂

Initializing...

`BookProof.ChapterFreeFieldBornSignHom.flipVec_xor` (b₁ b₂ : Fin n → Bool) : flipVec (fun k => xor (b₁ k) (b₂ k)) = flipVec b₁ * flipVec b₂ · Prove2Me