lean_workbook_plus_61271
ProvedSolve for :
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_61271 (x : ℝ) : 4*x^2+8*x+4 = 0 ↔ x = -1 := by sorry
Source
Solve for :
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_61271 (x : ℝ) : 4*x^2+8*x+4 = 0 ↔ x = -1 := by sorry