∫ Утверждение Mathlib
finpartition
Mathlib.Combinatorics.SimpleGraph.Extremal.Turan
URI: https://scilib.ai/kg/mathlib#SimpleGraph.IsTuranMaximal.finpartition
∫ Утверждение Mathlib
Mathlib.Combinatorics.SimpleGraph.Extremal.Turan
URI: https://scilib.ai/kg/mathlib#SimpleGraph.IsTuranMaximal.finpartition