`BookProof.ChapterFreeFieldBornSignAction.boolFlip_involutive` (b : Fin n → Bool) (x : EuclideanSpace ℝ (Fin n)) : boolFlip b (boolFlip b x) = x

Initializing...

`BookProof.ChapterFreeFieldBornSignAction.boolFlip_involutive` (b : Fin n → Bool) (x : EuclideanSpace ℝ (Fin n)) : boolFlip b (boolFlip b x) = x · Prove2Me