lean_workbook_plus_37437
ProvedProve that has no real zero.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_37437 : ¬ ∃ x : ℝ, x^4 + x^3 + x^2 + x + 1 = 0 := by sorry
Source
Prove that has no real zero.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_37437 : ¬ ∃ x : ℝ, x^4 + x^3 + x^2 + x + 1 = 0 := by sorry