Theorem SimpleGraph.Walk.toSubgraph_adj_penultimate

Modification history