lean_workbook_plus_34526
ProvedSolve the quadratic equation
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_34526 (x : ℝ) : x^2 - 3*x - 130 = 0 ↔ x = 13 ∨ x = -10 := by sorry
Source
Solve the quadratic equation
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_34526 (x : ℝ) : x^2 - 3*x - 130 = 0 ↔ x = 13 ∨ x = -10 := by sorry