lean_workbook_plus_23175
ProvedIf then .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_23175 {x y z : ℂ} (h : x + y + z = 0) : x ^ 3 + y ^ 3 + z ^ 3 = 3 * x * y * z := by sorrySource
If then .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_23175 {x y z : ℂ} (h : x + y + z = 0) : x ^ 3 + y ^ 3 + z ^ 3 = 3 * x * y * z := by sorry