Def StarRingEquiv.trans

Modification history