Theorem SimpleGraph.ConnectedComponent.mem_coe_supp_of_adj

Modification history