Def SimpleGraph.cycleGraph.tricoloring

Modification history

2025-01-22 10:18

Mathlib/Combinatorics/SimpleGraph/ConcreteColorings.lean

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

Added SimpleGraph.cycleGraph.tricoloring View on Github →