lean_workbook_plus_77100
ProvedTheorem. For we have
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_77100 (a b c : ℂ) (h : a + b + c = 0) : 2 * (a^4 + b^4 + c^4) = (a^2 + b^2 + c^2)^2 := by sorry
Source
Theorem. For we have
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_77100 (a b c : ℂ) (h : a + b + c = 0) : 2 * (a^4 + b^4 + c^4) = (a^2 + b^2 + c^2)^2 := by sorry