Theorem SimpleGraph.Walk.mem_tail_support_append_iff

Modification history