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