Def SimpleGraph.InduceHom

Modification history