Theorem SimpleGraph.Walk.getVert_zero

Modification history