Theorem SimpleGraph.Walk.toSubgraph_append

Modification history