`BookProof.ChapterFreeFieldBornSignOrientation.flipMatrix_mem_orthogonalGroup` (b : Fin n → Bool) : flipMatrix b ∈ Matrix.orthogonalGroup (Fin n) ℝ

Initializing...

`BookProof.ChapterFreeFieldBornSignOrientation.flipMatrix_mem_orthogonalGroup` (b : Fin n → Bool) : flipMatrix b ∈ Matrix.orthogonalGroup (Fin n) ℝ · Prove2Me