Theorem SimpleGraph.Coloring.colorable

Modification history