Theorem SimpleGraph.Walk.fst_mem_support_of_mem_edges

Modification history