Theorem SimpleGraph.ConnectedComponent.eq_of_common_vertex

Modification history