lean_workbook_plus_58714
ProvedSolve the quartic equation .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_58714 : ∀ x : ℝ, x^4 + 3*x^2 - 6*x + 10 = 0 → x = 1 ∨ x = -1 ∨ x = 2 ∨ x = -2 := by sorry
Source
Solve the quartic equation .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_58714 : ∀ x : ℝ, x^4 + 3*x^2 - 6*x + 10 = 0 → x = 1 ∨ x = -1 ∨ x = 2 ∨ x = -2 := by sorry