Theorem SimpleGraph.Connected.set_univ_walk_nonempty

Modification history