Theorem SimpleGraph.chromaticNumber_eq_zero_iff

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_eq_zero_iffView on Github →