Theorem SimpleGraph.ConnectedComponent.Represents.disjoint_supp_of_not_mem

Modification history