`BookProof.ChapterFreeFieldBornSignFiber.signFlip_comp` (s t : Fin n → ℝ) (x : EuclideanSpace ℝ (Fin n)) : signFlip s (signFlip t x) = signFlip (fun k => s k * t k) x

Initializing...

`BookProof.ChapterFreeFieldBornSignFiber.signFlip_comp` (s t : Fin n → ℝ) (x : EuclideanSpace ℝ (Fin n)) : signFlip s (signFlip t x) = signFlip (fun k => s k * t k) x · Prove2Me