Theorem SimpleGraph.edist_top

Modification history