Theorem SimpleGraph.exists_walk_of_dist_ne_zero

Modification history