Def SimpleGraph.Hom.mapSpanningSubgraphs

Modification history