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