Def AlgHom.ofLinearMap

Modification history