Theorem SimpleGraph.singletonSubgraph_connected

Modification history