Theorem SimpleGraph.bot_preconnected

Modification history