Theorem SimpleGraph.Walk.getVert_copy

Modification history