`BookProof.ChapterFreeFieldBornSignMatrix.flipMatrix_mulVec` (b : Fin n → Bool) (x : EuclideanSpace ℝ (Fin n)) : (flipMatrix b).mulVec x = boolFlip b x

Initializing...

`BookProof.ChapterFreeFieldBornSignMatrix.flipMatrix_mulVec` (b : Fin n → Bool) (x : EuclideanSpace ℝ (Fin n)) : (flipMatrix b).mulVec x = boolFlip b x · Prove2Me