Def RingEquiv.piMulOpposite

Modification history