Theorem SimpleGraph.edist_comm

Modification history