Theorem SimpleGraph.ConnectedComponent.reachable_toSimpleGraph

Modification history