lean_workbook_plus_17227
ProvedFind the roots of .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_17227 (k : ℝ) : k^2 + 10 * k + 16 = 0 ↔ k = -2 ∨ k = -8 := by sorry
Source
Find the roots of .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_17227 (k : ℝ) : k^2 + 10 * k + 16 = 0 ↔ k = -2 ∨ k = -8 := by sorry