Theorem SimpleGraph.edist_eq_top_of_not_reachable

Modification history