Def SimpleGraph.Partitionable

Modification history