Theorem SimpleGraph.Walk.toSubgraph_cons_nil_eq_subgraphOfAdj

Modification history