Theorem SimpleGraph.Subgraph.mem_verts_of_mem_edge

Modification history