Theorem SimpleGraph.Partition.colorable

Modification history