Def RingEquiv.toSemiRingCatIso

Modification history