Theorem SimpleGraph.edist_ne_top_iff_reachable

Modification history