Def SimpleGraph.ConnectedComponent.toSimpleGraph

Modification history