Def StarRingEquivClass.toStarRingEquiv

Modification history