Def SimpleGraph.deleteUniversalVerts

Modification history