Theorem SimpleGraph.chromaticNumber_le_card

Modification history

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 →