`BookProof.ChapterScaledDotProduct.sum_sgn_mul_self` (i : Fin d) : ∑ x : (Fin d → Bool), sgn (x i) * sgn (x i) = 2 ^ d

Initializing...

`BookProof.ChapterScaledDotProduct.sum_sgn_mul_self` (i : Fin d) : ∑ x : (Fin d → Bool), sgn (x i) * sgn (x i) = 2 ^ d · Prove2Me