Def AlgHom.toContinuousLinearMap

Modification history