lean_workbook_plus_59628
ProvedSolve the inequality:
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_59628 (x : ℝ) : x^2 - 7/3 * x - 2 = 0 ↔ x = 3 ∨ x = -2/3 := by sorry
Source
Solve the inequality:
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_59628 (x : ℝ) : x^2 - 7/3 * x - 2 = 0 ↔ x = 3 ∨ x = -2/3 := by sorry