Theorem SimpleGraph.bot_preconnected_iff_subsingleton

Modification history