Theorem SimpleGraph.Coloring.to_colorable

Modification history