lean_workbook_plus_49896
ProvedSolve:
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_49896 (x : ℝ) : |4*x + 3| - |x + 5| ≤ 8 ↔ -16/5 ≤ x ∧ x ≤ 10/3 := by sorry
Source
Solve:
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_49896 (x : ℝ) : |4*x + 3| - |x + 5| ≤ 8 ↔ -16/5 ≤ x ∧ x ≤ 10/3 := by sorry