Def AlgHom.restrictScalars

Modification history