Def AlgHom.restrictNormal

Modification history