Theorem SimpleGraph.Walk.adj_toSubgraph_mapLe

Modification history