chromaticNumber_bddBelow — Mathlib · SciLib

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

chromaticNumber_bddBelow

Mathlib.Combinatorics.SimpleGraph.Coloring

URI: https://scilib.ai/kg/mathlib#SimpleGraph.chromaticNumber_bddBelow

← MathLib Explorer