Theorem SimpleGraph.Walk.end_mem_support

Modification history