Theorem SimpleGraph.Walk.IsCycle.getVert_endpoint_iff

Modification history