Mathlib v3 is deprecated. Go to Mathlib v4

Theorem simple_graph.coloring.color_classes_finite

Modification history

2022-08-15 23:11
src/combinatorics/simple_graph/coloring.lean
chore(combinatorics/*): Fix lint (#16031) …
Added simple_graph.coloring.color_classes_finiteView on Github →