Theorem SimpleGraph.exists_walk_of_edist_eq_coe

Modification history