lean_workbook_plus_67497
ProvedProve that for positive .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_67497 (x : ℝ) (hx : 0 < x) : x^4 + 13*x^3 - 12*x^2 + 17*x + 37 > 0 := by sorry
Source
Prove that for positive .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_67497 (x : ℝ) (hx : 0 < x) : x^4 + 13*x^3 - 12*x^2 + 17*x + 37 > 0 := by sorry