lean_workbook_plus_57279
ProvedSolve the inequality
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_57279 (x : ℝ) : 3 * x - 5 < 7 ↔ x < 4 := by sorry
Source
Solve the inequality
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_57279 (x : ℝ) : 3 * x - 5 < 7 ↔ x < 4 := by sorry