Def AlgHom.toNonUnitalAlgHom

Modification history