Theorem SimpleGraph.Walk.getVert_cons_one

Modification history