Theorem SimpleGraph.ConnectedComponent.mem_supp_congr_adj

Modification history