Def NonUnitalStarRingHomClass.toNonUnitalStarRingHom

Modification history