no goals
ι : Sort ?u.277333
V : Type u
W : Type v
G : SimpleGraph V
G' : Subgraph G
s : Set V
⊢ deleteVerts G' (s ∩ G'.verts) = deleteVerts G' s
ext <;> simp (config := { contextual := true }) [imp_false]