Theorem SimpleGraph.Walk.not_nil_of_adj_toSubgraph

Modification history