`BookProof.ChapterFreeFieldBornSignRepresentation.det_flipRepresentation` (b : Multiplicative (Fin n → Bool)) : Matrix.det (flipRepresentation n b : Matrix (Fin n) (Fin n) ℝ) = (-1

Initializing...

`BookProof.ChapterFreeFieldBornSignRepresentation.det_flipRepresentation` (b : Multiplicative (Fin n → Bool)) : Matrix.det (flipRepresentation n b : Matrix (Fin n) (Fin n) ℝ) = (-1 · Prove2Me