Theorem SimpleGraph.Subgraph.Connected.exists_verts_eq_connectedComponentSupp

Modification history