Theorem SimpleGraph.chromaticNumber_cycleGraph_of_odd

Modification history

2025-01-22 10:18
Mathlib/Combinatorics/SimpleGraph/ConcreteColorings.lean
feat(Combinatorics/SimpleGraph): chromatic number of cycle graph (#20117)
Added SimpleGraph.chromaticNumber_cycleGraph_of_oddView on Github →