Theorem SimpleGraph.isUniform_singleton

Modification history