Theorem SimpleGraph.Reachable.exists_path_of_dist

Modification history