Theorem SimpleGraph.dist_eq_zero_of_not_reachable

Modification history