Theorem SimpleGraph.edist_bot

Modification history