Def SimpleGraph.finsubgraphOfAdj

Modification history