lean_workbook_plus_9474
ProvedProve that if .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_9474 (A B C : ℂ) (h : A + B + C = 0) : A^3 + B^3 + C^3 = 3 * A * B * C := by sorry
Source
Prove that if .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_9474 (A B C : ℂ) (h : A + B + C = 0) : A^3 + B^3 + C^3 = 3 * A * B * C := by sorry