Theorem SimpleGraph.ConnectedComponent.connected_induce_supp

Modification history