Theorem SimpleGraph.Coloring.color_classes_independent

Modification history

2026-08-31 13:50
Mathlib/Combinatorics/SimpleGraph/Coloring/Vertex.lean
chore: delete deprecated declarations from February 2026 (#43178) …
Deleted SimpleGraph.Coloring.color_classes_independentView on Github →
2023-02-28 07:22
Mathlib/Combinatorics/SimpleGraph/Coloring.lean
feat Port/Combinatorics.SimpleGraph.Coloring (#2526)
Added SimpleGraph.Coloring.color_classes_independentView on Github →