lean_workbook_plus_6839
ProvedSolve the equation: $x^{2}+6x-16=0$
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_6839 (x : ℝ) : x^2 + 6*x - 16 = 0 ↔ x = -8 ∨ x = 2 := by sorry
Source
Solve the equation: $x^{2}+6x-16=0$
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_6839 (x : ℝ) : x^2 + 6*x - 16 = 0 ↔ x = -8 ∨ x = 2 := by sorry