Theorem SimpleGraph.ConnectedComponent.connected_toSimpleGraph

Modification history