Theorem SimpleGraph.Walk.IsCycle.isPath_of_append_left

Modification history