Theorem SimpleGraph.Walk.toSubgraph_rotate

Modification history