Theorem SimpleGraph.dist_top_of_ne

Modification history