lean_workbook_plus_22478
ProvedShow that the polynomial has no real roots.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_22478 : ¬ ∃ x : ℝ, x^6 - x^5 + x^4 - x^3 + x^2 - x + 3 / 4 = 0 := by sorry
Source
Show that the polynomial has no real roots.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_22478 : ¬ ∃ x : ℝ, x^6 - x^5 + x^4 - x^3 + x^2 - x + 3 / 4 = 0 := by sorry