lean_workbook_plus_13494
ProvedGiven , find the values of a.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_13494 (a : ℝ) (h : 2*a^2 - 3*a - 2 = 0) : a = 2 ∨ a = -1/2 := by sorry
Source
Given , find the values of a.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_13494 (a : ℝ) (h : 2*a^2 - 3*a - 2 = 0) : a = 2 ∨ a = -1/2 := by sorry