Theorem SimpleGraph.dist_eq_zero_iff_eq_or_not_reachable

Modification history