no goals
α : Type u_1
β : Type ?u.5629
γ : Type ?u.5632
ι : Type ?u.5635
M : Type u_2
M' : Type ?u.5641
N : Type ?u.5644
P : Type ?u.5647
G : Type ?u.5650
H : Type ?u.5653
R : Type ?u.5656
S : Type ?u.5659
inst✝ : Zero M
⊢ graph 0 = ∅
simp [graph]