`BookProof.ChapterFreeFieldBornSignOrientationSubgroup.sub_mem_orientationPreservingSigns_iff` (b₁ b₂ : Fin n → Bool) : b₁ - b₂ ∈ orientationPreservingSigns n ↔ (b₁ ∈ orientationPr

Initializing...

`BookProof.ChapterFreeFieldBornSignOrientationSubgroup.sub_mem_orientationPreservingSigns_iff` (b₁ b₂ : Fin n → Bool) : b₁ - b₂ ∈ orientationPreservingSigns n ↔ (b₁ ∈ orientationPr · Prove2Me