Theorem SimpleGraph.Walk.toSubgraph_adj_iff

Modification history