Theorem SimpleGraph.Walk.getVert_length

Modification history