cases q
case h.e'_2.beq.h.h.mk
V : Type u
V' : Type v
V'' : Type w
G : Digraph V
G' : Digraph V'
G'' : Digraph V''
inst✝ : DecidableEq V
xs : List (V × V)
e q : V × V
fst✝ snd✝ : V
⊢ ((fst✝, snd✝) == q) = ((fst✝, snd✝) == q)
case h.e'_2.beq.h.h.mk.mk
V : Type u
V' : Type v
V'' : Type w
G : Digraph V
G' : Digraph V'
G'' : Digraph V''
inst✝ : DecidableEq V
xs : List (V × V)
e : V × V
fst✝¹ snd✝¹ fst✝ snd✝ : V
⊢ ((fst✝¹, snd✝¹) == (fst✝, snd✝)) = ((fst✝¹, snd✝¹) == (fst✝, snd✝))