Theorem SimpleGraph.Subgraph.verts_bot

Modification history