Theorem SimpleGraph.chromaticNumber_eq_zero_of_isEmpty

Modification history

2025-09-17 01:02
Mathlib/Combinatorics/SimpleGraph/Coloring.lean
feat(SimpleGraph): remove finiteness assumption from `isEmpty_of_chromaticNumber_eq_zero` (#29578)
Added SimpleGraph.chromaticNumber_eq_zero_of_isEmptyView on Github →