Theorem SimpleGraph.Colorable.mono

Modification history