Theorem SimpleGraph.dist_ne_zero_iff_ne_and_reachable

Modification history