lean_workbook_plus_13975
ProvedProve that has only one real root.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_13975 : ∃! x : ℝ, x^7 + 1 = 0 := by sorry
Source
Prove that has only one real root.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_13975 : ∃! x : ℝ, x^7 + 1 = 0 := by sorry