Theorem SimpleGraph.Reachable.mem_subgraphVerts

Modification history