cases h
α : Type u_1
head✝ : α
bs : List α
x✝¹ x✝ : α
h : x✝ = x✝¹ ∨ x✝ ∈ bs
⊢ (x✝ = head✝ ∨ x✝ ∈ bs) ∨ x✝ = x✝¹
case inl
α : Type u_1
head✝ : α
bs : List α
x✝¹ x✝ : α
h✝ : x✝ = x✝¹
⊢ (x✝ = head✝ ∨ x✝ ∈ bs) ∨ x✝ = x✝¹

case inr
α : Type u_1
head✝ : α
bs : List α
x✝¹ x✝ : α
h✝ : x✝ ∈ bs
⊢ (x✝ = head✝ ∨ x✝ ∈ bs) ∨ x✝ = x✝¹