Def SimpleGraph.Partition.toColoring'

Modification history