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