Def AlgHom.toLinearMap

Modification history