Theorem SimpleGraph.Walk.IsCycle.getVert_sub_one_ne_getVert_add_one

Modification history