Theorem SimpleGraph.adj_of_mem_walk_support

Modification history