`BookProof.ChapterFreeFieldBornSignOrientationKernel.orientationPreserving_false` : flipMatrix (fun _ => false : Fin n → Bool) ∈ Matrix.specialOrthogonalGroup (Fin n) ℝ

Initializing...

`BookProof.ChapterFreeFieldBornSignOrientationKernel.orientationPreserving_false` : flipMatrix (fun _ => false : Fin n → Bool) ∈ Matrix.specialOrthogonalGroup (Fin n) ℝ · Prove2Me