Theorem SimpleGraph.Walk.IsCycle.neighborSet_toSubgraph_internal

Modification history