lean_workbook_plus_25083
ProvedPreamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_25083 {A B C : ℂ} (h : A + B + C = 0) : A ^ 3 + B ^ 3 + C ^ 3 = 3 * A * B * C := by sorrySource
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_25083 {A B C : ℂ} (h : A + B + C = 0) : A ^ 3 + B ^ 3 + C ^ 3 = 3 * A * B * C := by sorry