Theorem SimpleGraph.partitionable_iff_colorable

Modification history