Theorem SimpleGraph.Connected.exists_path_of_dist

Modification history