Def LinearMap.NonUnitalAlgHom.lmul

Modification history