Theorem SimpleGraph.chromaticNumber_le_card

Modification history

2025-11-05 14:30
Mathlib/Combinatorics/SimpleGraph/Coloring.lean
feat(SimpleGraph): only the complete graph has chromatic number equal to its cardinality (#30053) …
Added SimpleGraph.chromaticNumber_le_cardView on Github →
2025-01-06 10:15
Mathlib/Combinatorics/SimpleGraph/Coloring.lean
chore: remove >9 month old deprecations (#20505)
Deleted SimpleGraph.chromaticNumber_le_cardView on Github →
2023-02-28 07:22
Mathlib/Combinatorics/SimpleGraph/Coloring.lean
feat Port/Combinatorics.SimpleGraph.Coloring (#2526)
Added SimpleGraph.chromaticNumber_le_cardView on Github →