`BookProof.ChapterFreeFieldBornSignMatrix.det_flipMatrix` (b : Fin n → Bool) : Matrix.det (flipMatrix b) = (-1 : ℝ) ^ flipCount b

Initializing...

`BookProof.ChapterFreeFieldBornSignMatrix.det_flipMatrix` (b : Fin n → Bool) : Matrix.det (flipMatrix b) = (-1 : ℝ) ^ flipCount b · Prove2Me