Theorem SimpleGraph.Walk.snd_mem_support_of_mem_edges

Modification history