lean_workbook_plus_14395
ProvedEasy to see that
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_14395 (x : ℝ) (hx : x ∈ Set.Icc 3 9) : 3 ≤ x ∧ x ≤ 9 := by sorry
Source
Easy to see that
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_14395 (x : ℝ) (hx : x ∈ Set.Icc 3 9) : 3 ≤ x ∧ x ≤ 9 := by sorry