Def Rat.MulRingNorm.mulRingNorm_padic

Modification history