lean_workbook_plus_74493
Proved--->
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_74493 (t : ℝ) : 6 * t ^ 2 - 77 * t + 147 ≤ 0 ↔ 7 / 3 ≤ t ∧ t ≤ 10.5 := by sorry
Source
--->
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_74493 (t : ℝ) : 6 * t ^ 2 - 77 * t + 147 ≤ 0 ↔ 7 / 3 ≤ t ∧ t ≤ 10.5 := by sorry