`BookProof.ChapterFreeFieldBornSignHom.flipVec_prod` (b : Fin n → Bool) : (∏ k, flipVec b k) = (-1 : ℝ) ^ flipCount b

Initializing...

`BookProof.ChapterFreeFieldBornSignHom.flipVec_prod` (b : Fin n → Bool) : (∏ k, flipVec b k) = (-1 : ℝ) ^ flipCount b · Prove2Me