Theorem SimpleGraph.chromaticNumber_pathGraph

Modification history

2023-11-14 18:47
Mathlib/Combinatorics/SimpleGraph/ConcreteColorings.lean
feat: add 2-coloring of `pathGraph` and prove its chromatic number is 2 (#8166) …
Added SimpleGraph.chromaticNumber_pathGraphView on Github →