Theorem MulRingNorm.apply_one

Modification history