Def StarAlgHom.toNonUnitalStarAlgHom

Modification history