lean_workbook_plus_59345
ProvedFind the value of in the equation .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_59345 (x : ℝ) (hx : x^4 - 4*x^3 + 6*x^2 - 4*x + 1 = 0) : x = 1 := by sorry
Source
Find the value of in the equation .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_59345 (x : ℝ) (hx : x^4 - 4*x^3 + 6*x^2 - 4*x + 1 = 0) : x = 1 := by sorry