lean_workbook_plus_29638
ProvedProve that for .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_29638 : ∀ t : ℝ, t ∈ Set.Icc 0 (1 / 2) → 4 * t ^ 2 + 8 * t - 5 ≤ 0 := by sorry
Source
Prove that for .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_29638 : ∀ t : ℝ, t ∈ Set.Icc 0 (1 / 2) → 4 * t ^ 2 + 8 * t - 5 ≤ 0 := by sorry