Theorem SimpleGraph.edist_top_of_ne

Modification history