`BookProof.ChapterFreeFieldBornSignOrientation.det_flipMatrix_eq_one_iff` (b : Fin n → Bool) : Matrix.det (flipMatrix b) = 1 ↔ Even (flipCount b)

Initializing...

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