Def AlgHom.restrictDomain

Modification history