Theorem SimpleGraph.Coloring.color_classes_independent

Modification history