Def SimpleGraph.Subgraph.IsSubgraph

Modification history