`BookProof.ChapterFreeFieldBornSignOrientationSubgroup.mem_orientationPreservingSigns_iff_even` (b : Fin n → Bool) : b ∈ orientationPreservingSigns n ↔ Even (flipCount b)

Initializing...

`BookProof.ChapterFreeFieldBornSignOrientationSubgroup.mem_orientationPreservingSigns_iff_even` (b : Fin n → Bool) : b ∈ orientationPreservingSigns n ↔ Even (flipCount b) · Prove2Me