Theorem MulRingNorm.equiv_trans

Modification history