Theorem SimpleGraph.induce_connected_adj_union

Modification history