lean_workbook_plus_53230
ProvedSolve for in the inequality
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_53230 (y : ℝ) : 3*y - 7 < 2*y + 1 ↔ y < 8 := by sorry
Source
Solve for in the inequality
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_53230 (y : ℝ) : 3*y - 7 < 2*y + 1 ↔ y < 8 := by sorry