`BookProof.ChapterFreeFieldBornSignHom.flipVec_mul_self` (b : Fin n → Bool) : flipVec b * flipVec b = (1 : Fin n → ℝ)

Initializing...

`BookProof.ChapterFreeFieldBornSignHom.flipVec_mul_self` (b : Fin n → Bool) : flipVec b * flipVec b = (1 : Fin n → ℝ) · Prove2Me