Theorem SimpleGraph.le_chromaticNumber_iff_coloring

Modification history

2026-01-29 20:08
Mathlib/Combinatorics/SimpleGraph/Coloring.lean
feat(Combinatorics): a clique has size at most the chromatic number (#32654) …
Added SimpleGraph.le_chromaticNumber_iff_coloringView on Github →