`BookProof.ChapterFreeFieldBornSignRepresentation.flipRepresentation_specialOrthogonal_iff` (b : Multiplicative (Fin n → Bool)) : (flipRepresentation n b : Matrix (Fin n) (Fin n) ℝ

Initializing...

`BookProof.ChapterFreeFieldBornSignRepresentation.flipRepresentation_specialOrthogonal_iff` (b : Multiplicative (Fin n → Bool)) : (flipRepresentation n b : Matrix (Fin n) (Fin n) ℝ · Prove2Me