Theorem SimpleGraph.Subgraph.verts_sup

Modification history