Def SimpleGraph.cycleGraph.bicoloring_of_even

Modification history

2025-01-22 10:18

Mathlib/Combinatorics/SimpleGraph/ConcreteColorings.lean

feat(Combinatorics/SimpleGraph): chromatic number of cycle graph (#20117)

Added SimpleGraph.cycleGraph.bicoloring_of_even View on Github →