lean_workbook_plus_18883
ProvedLet be real number . Prove that .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_18883 (x : ℝ) : x^6 - x^4 + 2*x^3 - x^2 - 6*x + 5 ≥ 0 := by sorry
Source
Let be real number . Prove that .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_18883 (x : ℝ) : x^6 - x^4 + 2*x^3 - x^2 - 6*x + 5 ≥ 0 := by sorry