lean_workbook_plus_33731
ProvedWe have: for integer such that
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_33731 : ∀ x : ℤ, -1 ≤ x ∧ x ≤ 2 → x^3 ≥ x := by sorry
Source
We have: for integer such that
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_33731 : ∀ x : ℤ, -1 ≤ x ∧ x ≤ 2 → x^3 ≥ x := by sorry