Theorem SimpleGraph.ConnectedComponent.mem_supp_of_adj_mem_supp

Modification history