Theorem SimpleGraph.Walk.toSubgraph_adj_getVert

Modification history