Def SimpleGraph.Partition.toColoring

Modification history