Theorem MulRingNorm.apply_natAbs_eq

Modification history