Theorem SimpleGraph.Walk.getVert_tail

Modification history