Theorem SimpleGraph.edist_pos_of_ne

Modification history