Theorem SimpleGraph.Walk.IsPath.snd_of_toSubgraph_adj

Modification history