Theorem SimpleGraph.reachable_iff_nonempty_univ

Modification history