Theorem SimpleGraph.Subgraph.verts_inf

Modification history