Theorem SimpleGraph.Walk.adj_of_mem_edges

Modification history