lean_workbook_plus_196
ProvedShow that if .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_196 : a + b = 0 → a^2 + b^2 = -2 * a * b := by sorry
Source
Show that if .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_196 : a + b = 0 → a^2 + b^2 = -2 * a * b := by sorry