no goals
V : Type u_2
α : Type u_1
β : Type ?u.28278
G : SimpleGraph V
inst✝² : DecidableRel G.Adj
inst✝¹ : Zero α
inst✝ : One α
i j : V
⊢ adjMatrix α G i j = 0 ∨ adjMatrix α G i j = 1
by_cases G.Adj i j <;> simp [h]