Def Function.emptyHom

Modification history