Def RingCon.toQuotient

Modification history