`BookProof.ChapterFreeFieldBornSignOrientationKernel.orientationPreserving_xor_iff` (b₁ b₂ : Fin n → Bool) : flipMatrix (fun k => xor (b₁ k) (b₂ k)) ∈ Matrix.specialOrthogonalGroup

Initializing...

`BookProof.ChapterFreeFieldBornSignOrientationKernel.orientationPreserving_xor_iff` (b₁ b₂ : Fin n → Bool) : flipMatrix (fun k => xor (b₁ k) (b₂ k)) ∈ Matrix.specialOrthogonalGroup · Prove2Me