`BookProof.ChapterFreeFieldBornSignOrientation.flipMatrix_mem_specialOrthogonalGroup_iff` (b : Fin n → Bool) : flipMatrix b ∈ Matrix.specialOrthogonalGroup (Fin n) ℝ ↔ Even (flipCo

Initializing...

`BookProof.ChapterFreeFieldBornSignOrientation.flipMatrix_mem_specialOrthogonalGroup_iff` (b : Fin n → Bool) : flipMatrix b ∈ Matrix.specialOrthogonalGroup (Fin n) ℝ ↔ Even (flipCo · Prove2Me