Theorem SimpleGraph.isClique_universalVerts

Modification history