Def SimpleGraph.selfColoring

Modification history

2023-02-28 07:22

Mathlib/Combinatorics/SimpleGraph/Coloring.lean

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

Added SimpleGraph.selfColoring View on Github →