lean_workbook_plus_78084
ProvedShow that for all real values of .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_78084 : ∀ x : ℝ, x^4 - 15 * x^3 + 76 * x^2 - 147 * x + 97 > 0 := by sorry
Source
Show that for all real values of .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_78084 : ∀ x : ℝ, x^4 - 15 * x^3 + 76 * x^2 - 147 * x + 97 > 0 := by sorry