`BookProof.ChapterFreeFieldBornSignOrientationKernel.orientationPreserving_xor` {b₁ b₂ : Fin n → Bool} (h₁ : flipMatrix b₁ ∈ Matrix.specialOrthogonalGroup (Fin n) ℝ) (h₂ : flipMatr

Initializing...

`BookProof.ChapterFreeFieldBornSignOrientationKernel.orientationPreserving_xor` {b₁ b₂ : Fin n → Bool} (h₁ : flipMatrix b₁ ∈ Matrix.specialOrthogonalGroup (Fin n) ℝ) (h₂ : flipMatr · Prove2Me