`BookProof.ChapterFreeFieldBornSignMatrix.flipMatrix_transpose_mul` (b : Fin n → Bool) : Matrix.transpose (flipMatrix b) * flipMatrix b = 1

Initializing...

`BookProof.ChapterFreeFieldBornSignMatrix.flipMatrix_transpose_mul` (b : Fin n → Bool) : Matrix.transpose (flipMatrix b) * flipMatrix b = 1 · Prove2Me