Theorem SimpleGraph.Walk.adj_getVert_succ

Modification history