Theorem SimpleGraph.connected_iff_exists_forall_reachable

Modification history