lean_workbook_plus_1984
ProvedNow,
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_1984 (a b c : ℂ) : (c - a) * (c - b) = c^2 - a*c - b*c + a*b := by sorry
Source
Now,
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_1984 (a b c : ℂ) : (c - a) * (c - b) = c^2 - a*c - b*c + a*b := by sorry