Theorem SimpleGraph.chromaticNumber_top_eq_enat_card

Modification history

2026-05-23 01:27
Mathlib/Combinatorics/SimpleGraph/Coloring/VertexColoring.lean
feat(Combinatorics/SimpleGraph/Coloring/VertexColoring): `chromaticNumber ⊤` and other small lemmas (#38424) …
Added SimpleGraph.chromaticNumber_top_eq_enat_cardView on Github →