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