Theorem SimpleGraph.Walk.mem_support_iff_exists_append

Modification history