lean_workbook_plus_72139
ProvedFind the domain for
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_72139 (x : ℝ) : x + 3 ≥ 0 ↔ x ≥ -3 := by sorry
Source
Find the domain for
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_72139 (x : ℝ) : x + 3 ≥ 0 ↔ x ≥ -3 := by sorry