Def SimpleGraph.induceHom

Modification history