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