Theorem SimpleGraph.Walk.end_mem_tail_support

Modification history