Theorem SimpleGraph.chromaticNumber_eq_card_iff

Modification history

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