Def SimpleGraph.singletonFinsubgraph

Modification history