Theorem SimpleGraph.Walk.toSubgraph_reverse

Modification history