`BookProof.ChapterFreeFieldBornSignOrientation.det_flipMatrix_eq_neg_one_iff` (b : Fin n → Bool) : Matrix.det (flipMatrix b) = -1 ↔ Odd (flipCount b)

Initializing...

`BookProof.ChapterFreeFieldBornSignOrientation.det_flipMatrix_eq_neg_one_iff` (b : Fin n → Bool) : Matrix.det (flipMatrix b) = -1 ↔ Odd (flipCount b) · Prove2Me