lean_workbook_plus_36869
ProvedProve true for all in the following equation - \n
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_36869 : ∀ x : ℝ, x^6 - 6 * x + 5 ≥ 0 := by sorry
Source
Prove true for all in the following equation - \n
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_36869 : ∀ x : ℝ, x^6 - 6 * x + 5 ≥ 0 := by sorry