lean_workbook_plus_9806
ProvedSolve the equation: \n\n
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_9806 (x : ℝ) : 3 * x ^ 2 - 5 * x - 2 = 0 ↔ x = 2 ∨ x = -1/3 := by sorry
Source
Solve the equation: \n\n
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_9806 (x : ℝ) : 3 * x ^ 2 - 5 * x - 2 = 0 ↔ x = 2 ∨ x = -1/3 := by sorry