Theorem MulRingNorm.equiv_refl

Modification history