Theorem SimpleGraph.exists_walk_of_edist_ne_top

Modification history