simp
case Adj.h.h.a
ι : Sort ?u.61865
𝕜 : Type ?u.61868
V : Type u
W : Type v
X : Type w
G : Digraph V
G' : Digraph W
a b c u v w x✝¹ x✝ : V
⊢ (deleteEdges G Set.univ).Adj x✝¹ x✝ ↔ ⊥.Adj x✝¹ x✝
no goals