Theorem SimpleGraph.Walk.toSubgraph_adj_snd

Modification history