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

Initializing...

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