`BookProof.ChapterFreeFieldBornSignAction.boolFlip_false` (x : EuclideanSpace ℝ (Fin n)) : boolFlip (fun _ => false) x = x

Initializing...

`BookProof.ChapterFreeFieldBornSignAction.boolFlip_false` (x : EuclideanSpace ℝ (Fin n)) : boolFlip (fun _ => false) x = x · Prove2Me