Theorem SimpleGraph.Walk.start_mem_support

Modification history