`BookProof.ChapterFreeFieldBornSignOrientationCard.natCard_orientationPreserving_flip` (n : ℕ) : Nat.card {b : Fin (n + 1) → Bool // flipMatrix b ∈ Matrix.specialOrthogonalGroup (F

Initializing...

`BookProof.ChapterFreeFieldBornSignOrientationCard.natCard_orientationPreserving_flip` (n : ℕ) : Nat.card {b : Fin (n + 1) → Bool // flipMatrix b ∈ Matrix.specialOrthogonalGroup (F · Prove2Me