Theorem SimpleGraph.Subgraph.mem_verts_if_mem_edge

Modification history