Theorem SimpleGraph.bot_not_connected

Modification history