Def SimpleGraph.FinsubgraphHom.restrict

Modification history