no goals
ι : Sort ?u.266506
V : Type u
W : Type v
G : SimpleGraph V
G' : Subgraph G
s : Set V
u v : V
⊢ Adj (deleteVerts G' s) u v ↔ u ∈ G'.verts ∧ ¬u ∈ s ∧ v ∈ G'.verts ∧ ¬v ∈ s ∧ Adj G' u v
simp [and_assoc]