lean_workbook_plus_73882
ProvedProve that , if
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_73882 : ∀ t : ℝ, t ≤ 1/4 → t^3 - 3 * t + 2 ≤ 4 := by sorry
Source
Prove that , if
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_73882 : ∀ t : ℝ, t ≤ 1/4 → t^3 - 3 * t + 2 ≤ 4 := by sorry