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