lean_workbook_plus_72599
ProvedProve that
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_72599 : ∀ t : ℝ, 4 * t ^ 4 + 2 * t ^ 3 + 3 * t ^ 2 - 4 * t + 1 > 0 := by sorry
Source
Prove that
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_72599 : ∀ t : ℝ, 4 * t ^ 4 + 2 * t ^ 3 + 3 * t ^ 2 - 4 * t + 1 > 0 := by sorry