Theorem SimpleGraph.ConnectedComponent.mem_supp_iff

Modification history