Theorem SimpleGraph.eq_top_of_chromaticNumber_eq_card

Modification history

2025-11-20 07:16
Mathlib/Combinatorics/SimpleGraph/Coloring.lean
chore: remove unused `Decidable*` instances in theorem types (#31831) …
Modified SimpleGraph.eq_top_of_chromaticNumber_eq_cardView on Github →
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.eq_top_of_chromaticNumber_eq_cardView on Github →