Theorem SimpleGraph.ConnectedComponent.adj_spanningCoe_toSimpleGraph

Modification history