`BookProof.ChapterFreeFieldBornSignOrientationQuotient.orientationQuotientEquiv_mk` (n : ℕ) (b : Fin (n + 1) → Bool) : orientationQuotientEquiv n (QuotientAddGroup.mk b) = orientat

Initializing...

`BookProof.ChapterFreeFieldBornSignOrientationQuotient.orientationQuotientEquiv_mk` (n : ℕ) (b : Fin (n + 1) → Bool) : orientationQuotientEquiv n (QuotientAddGroup.mk b) = orientat · Prove2Me