Theorem SimpleGraph.bot_not_preconnected

Modification history