`BookProof.ChapterScaledDotProduct.sum_sgn_mul_eq_zero` {i j : Fin d} (hij : i ≠ j) : ∑ x : (Fin d → Bool), sgn (x i) * sgn (x j) = 0

Initializing...

`BookProof.ChapterScaledDotProduct.sum_sgn_mul_eq_zero` {i j : Fin d} (hij : i ≠ j) : ∑ x : (Fin d → Bool), sgn (x i) * sgn (x j) = 0 · Prove2Me