lean_workbook_plus_27293
ProvedLet such that . Determine the value of .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_27293 (x : ℝ) (h : x^3 + 4*x = 8) : x^7 + 64*x^2 = 128 := by sorry
Source
Let such that . Determine the value of .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_27293 (x : ℝ) (h : x^3 + 4*x = 8) : x^7 + 64*x^2 = 128 := by sorry