lean_workbook_plus_1675
Proved.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_1675 (x y : ℝ) : x^3 + y^3 = (x + y) * (x^2 - x * y + y^2) := by sorry
Source
.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_1675 (x y : ℝ) : x^3 + y^3 = (x + y) * (x^2 - x * y + y^2) := by sorry