lean_workbook_plus_5851
ProvedProve that
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_5851 (x:ℝ) : (x - 1) ^ 2 * (x ^ 2 + x + 1) ≥ 0 := by sorry
Source
Prove that
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_5851 (x:ℝ) : (x - 1) ^ 2 * (x ^ 2 + x + 1) ≥ 0 := by sorry