Theorem SimpleGraph.Subgraph.top_verts

Modification history