lean_workbook_plus_71130
ProvedFind all real numbers such that .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_71130 (x : ℝ) : x^4 + 4*x^3 + 6*x^2 + 4*x + 1 = 0 ↔ x = -1 := by sorry
Source
Find all real numbers such that .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_71130 (x : ℝ) : x^4 + 4*x^3 + 6*x^2 + 4*x + 1 = 0 ↔ x = -1 := by sorry