no goals
R : Type u_2
α : Type u_1
G : SimpleGraph α
inst✝ : MulZeroOneClass R
a b : α
e : Sym2 α
h : e ∈ incidenceSet G a
⊢ incMatrix R G a e = 1
rw [incMatrix_apply, Set.indicator_of_mem h, Pi.one_apply]