lean_workbook_plus_14945
ProvedShow that for all real numbers .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_14945 : ∀ t : ℝ, t^2 * (3 * t^2 - 8 * t + 6) ≥ 0 := by sorry
Source
Show that for all real numbers .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_14945 : ∀ t : ℝ, t^2 * (3 * t^2 - 8 * t + 6) ≥ 0 := by sorry