Theorem SimpleGraph.le_chromaticNumber_iff_forall_surjective

Modification history

2024-03-22 14:25
Mathlib/Combinatorics/SimpleGraph/Coloring.lean
feat(SimpleGraph/Coloring): Surjectivity of graph colorings (#11397) …
Added SimpleGraph.le_chromaticNumber_iff_forall_surjectiveView on Github →