ext t
𝕜 : Type u_1
E : Type u_2
V : Type u_3
r : ℝ
z : ℂ
a b t : ℝ
n : ℕ
⊢ uIoo a b = Ι a b \ {a, b}
case h
𝕜 : Type u_1
E : Type u_2
V : Type u_3
r : ℝ
z : ℂ
a b t✝ : ℝ
n : ℕ
t : ℝ
⊢ t ∈ uIoo a b ↔ t ∈ Ι a b \ {a, b}