Theorem SimpleGraph.Walk.IsCycle.neighborSet_toSubgraph_endpoint

Modification history