Theorem SimpleGraph.edist_self

Modification history