no goals
V : Type u_2
α : Type u_1
β : Type ?u.56747
G : SimpleGraph V
inst✝³ : DecidableRel G.Adj
inst✝² : Fintype V
inst✝¹ : AddCommMonoid α
inst✝ : One α
⊢ trace (adjMatrix α G) = 0
simp [Matrix.trace]