Theorem SimpleGraph.isUniform_comm

Modification history