Def SimpleGraph.Coloring.colorClasses

Modification history

2023-02-28 07:22

Mathlib/Combinatorics/SimpleGraph/Coloring.lean

feat Port/Combinatorics.SimpleGraph.Coloring (#2526)

Added SimpleGraph.Coloring.colorClasses View on Github →