Theorem SimpleGraph.isEmpty_of_colorable_zero

Modification history