∫ Утверждение Mathlib
sum_incMatrix_apply_of_notMem_edgeSet
Mathlib.Combinatorics.SimpleGraph.IncMatrix
URI: https://scilib.ai/kg/mathlib#SimpleGraph.sum_incMatrix_apply_of_notMem_edgeSet
∫ Утверждение Mathlib
Mathlib.Combinatorics.SimpleGraph.IncMatrix
URI: https://scilib.ai/kg/mathlib#SimpleGraph.sum_incMatrix_apply_of_notMem_edgeSet