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