Theorem SimpleGraph.Walk.IsCycle.isPath_of_append_right

Modification history