Def Rep.leftRegularHom

Modification history