Theorem SimpleGraph.dist_comm

Modification history