lean_workbook_plus_37435
ProvedSolve the inequality. $x+2<0$
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_37435 (x : ℝ) : x + 2 < 0 ↔ x < -2 := by sorry
Source
Solve the inequality. $x+2<0$
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_37435 (x : ℝ) : x + 2 < 0 ↔ x < -2 := by sorry