Def StarAlgHomClass.toStarAlgHom

Modification history