Def MulRingNorm.mulRingNormEquivAbsoluteValue

Modification history