Def SimpleGraph.Coloring.colorClass

Modification history

2023-02-28 07:22

Mathlib/Combinatorics/SimpleGraph/Coloring.lean

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

Added SimpleGraph.Coloring.colorClass View on Github →