lean_workbook_plus_29898
ProvedProve that for any , then \n
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_29898 (x : ℝ) (hx : 0 < x) : 2 * x^4 - 7 * x^3 + 12 * x + 2 > 0 := by sorry
Source
Prove that for any , then \n
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_29898 (x : ℝ) (hx : 0 < x) : 2 * x^4 - 7 * x^3 + 12 * x + 2 > 0 := by sorry