lean_workbook_plus_60718
Provedif then prove that
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_60718 {a b c : ℝ} (h : a + b + c = 0) :
2 * (a^4 + b^4 + c^4) = (a^2 + b^2 + c^2)^2 := by sorrySource
if then prove that
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_60718 {a b c : ℝ} (h : a + b + c = 0) :
2 * (a^4 + b^4 + c^4) = (a^2 + b^2 + c^2)^2 := by sorry