lean_workbook_plus_49450
ProvedIf and , then find .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_49450 (x y : ℝ) (h₁ : x + y = 4) (h₂ : x*y = 2) : x^6 + y^6 = 1584 := by sorry
Source
If and , then find .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_49450 (x y : ℝ) (h₁ : x + y = 4) (h₂ : x*y = 2) : x^6 + y^6 = 1584 := by sorry