`BookProof.ChapterFreeFieldBornSignGauge.signFlip_neg_one` (x : EuclideanSpace ℝ (Fin n)) : signFlip (fun _ => -1) x = -x

Initializing...

`BookProof.ChapterFreeFieldBornSignGauge.signFlip_neg_one` (x : EuclideanSpace ℝ (Fin n)) : signFlip (fun _ => -1) x = -x · Prove2Me