lean_workbook_plus_3308
ProvedIf , what is
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_3308 (x y z : ℝ) (h : x + y + z = 0) : x^3 + y^3 + z^3 - 3*x*y*z = 0 := by sorry
Source
If , what is
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_3308 (x y z : ℝ) (h : x + y + z = 0) : x^3 + y^3 + z^3 - 3*x*y*z = 0 := by sorry