lean_workbook_plus_28925
ProvedProve that for every
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_28925 (t : ℝ) : t^4 - 4 * t^3 + 6 * t^2 - 4 * t + 1 ≥ 0 := by sorry
Source
Prove that for every
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_28925 (t : ℝ) : t^4 - 4 * t^3 + 6 * t^2 - 4 * t + 1 ≥ 0 := by sorry