Def StarRingEquiv.refl

Modification history