lean_workbook_plus_33575
ProvedIf then prove:
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_33575 (x : ℝ) : x^4 - 8 * x + 8 ≥ 0 := by sorry
Source
If then prove:
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_33575 (x : ℝ) : x^4 - 8 * x + 8 ≥ 0 := by sorry