`BookProof.ChapterFreeFieldBornSignOrientationKernel.even_flipCount_xor_iff` (b₁ b₂ : Fin n → Bool) : Even (flipCount (fun k => xor (b₁ k) (b₂ k))) ↔ (Even (flipCount b₁) ↔ Even (f

Initializing...

`BookProof.ChapterFreeFieldBornSignOrientationKernel.even_flipCount_xor_iff` (b₁ b₂ : Fin n → Bool) : Even (flipCount (fun k => xor (b₁ k) (b₂ k))) ↔ (Even (flipCount b₁) ↔ Even (f · Prove2Me