Theorem SimpleGraph.Walk.cons_getVert_succ

Modification history