color_classes_independent — Mathlib · SciLib

∫ Утверждение Mathlib

color_classes_independent

Mathlib.Combinatorics.SimpleGraph.Coloring

URI: https://scilib.ai/kg/mathlib#SimpleGraph.Coloring.color_classes_independent

← MathLib Explorer