`BookProof.ChapterFreeFieldBornSignHom.flipVec_false` : flipVec (fun _ => false : Fin n → Bool) = (1 : Fin n → ℝ)

Initializing...

`BookProof.ChapterFreeFieldBornSignHom.flipVec_false` : flipVec (fun _ => false : Fin n → Bool) = (1 : Fin n → ℝ) · Prove2Me