`BookProof.ChapterFreeFieldBornSignOrientation.flipMatrix_transpose` (b : Fin n → Bool) : Matrix.transpose (flipMatrix b) = flipMatrix b

Initializing...

`BookProof.ChapterFreeFieldBornSignOrientation.flipMatrix_transpose` (b : Fin n → Bool) : Matrix.transpose (flipMatrix b) = flipMatrix b · Prove2Me