Theorem SimpleGraph.colorable_of_isEmpty

Modification history