`BookProof.ChapterFreeFieldBornSignAction.boolFlip_comp` (b₁ b₂ : Fin n → Bool) (x : EuclideanSpace ℝ (Fin n)) : boolFlip b₁ (boolFlip b₂ x) = boolFlip (fun k => xor (b₁ k) (b₂ k))

Initializing...

`BookProof.ChapterFreeFieldBornSignAction.boolFlip_comp` (b₁ b₂ : Fin n → Bool) (x : EuclideanSpace ℝ (Fin n)) : boolFlip b₁ (boolFlip b₂ x) = boolFlip (fun k => xor (b₁ k) (b₂ k)) · Prove2Me