Theorem SimpleGraph.Walk.getVert_mem_support

Modification history