`BookProof.ChapterFreeFieldBornFiberSpectrum.bornFiber_card_even` {p : ↥(stdSimplex ℝ (Fin n))} : 2 ∣ Nat.card ↥(bornMapSphere n ⁻¹' {p})

Initializing...

`BookProof.ChapterFreeFieldBornFiberSpectrum.bornFiber_card_even` {p : ↥(stdSimplex ℝ (Fin n))} : 2 ∣ Nat.card ↥(bornMapSphere n ⁻¹' {p}) · Prove2Me