Theorem SimpleGraph.mem_support_of_mem_walk_support

Modification history