Theorem: h1 (Carleson/Theorem1_1/Carleson_on_the_real_line.lean)

State before:
⊢ 2 ∈ Set.Ioc 1 2
Tactic:
simp
State after:
no goals