Theorem SimpleGraph.reachable_bot

Modification history