Theorem SimpleGraph.Walk.getVert_takeUntil

Modification history