Theorem SimpleGraph.Walk.mem_verts_toSubgraph

Modification history