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