Theorem SimpleGraph.ConnectedComponent.toSimpleGraph_adj

Modification history