`BookProof.ChapterFreeFieldBornFiberStabilizer.signStab_card` (x : EuclideanSpace ℝ (Fin n)) : (signStab x).card = 2 ^ (Finset.univ.filter (fun k => x k = 0)).card

Initializing...

`BookProof.ChapterFreeFieldBornFiberStabilizer.signStab_card` (x : EuclideanSpace ℝ (Fin n)) : (signStab x).card = 2 ^ (Finset.univ.filter (fun k => x k = 0)).card · Prove2Me