lean_workbook_plus_65619
DisprovedSolve for if .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_65619 (a : ℝ) (h : a^2 + 3*a - 2 = 0) : a = -2 ∨ a = 1 := by sorry
Source
Solve for if .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_65619 (a : ℝ) (h : a^2 + 3*a - 2 = 0) : a = -2 ∨ a = 1 := by sorry