Theorem SimpleGraph.Subgraph.verts_sInf

Modification history