Theorem SimpleGraph.dist_bot

Modification history