Theorem SimpleGraph.Walk.IsCycle.getVert_sub_one_neq_getVert_add_one

Modification history