lean_workbook_plus_49878
Provedprove that
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_49878 (t : ℝ) : (t - 1) ^ 2 * (t ^ 2 + 2 * t + 5) ≥ 0 := by sorry
Source
prove that
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_49878 (t : ℝ) : (t - 1) ^ 2 * (t ^ 2 + 2 * t + 5) ≥ 0 := by sorry