lean_workbook_plus_40208
ProvedSolve the equation
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_40208 (x : ℝ) : x^3 + x^2 - x - 1 = 0 ↔ x = -1 ∨ x = 1 := by sorry
Source
Solve the equation
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_40208 (x : ℝ) : x^3 + x^2 - x - 1 = 0 ↔ x = -1 ∨ x = 1 := by sorry