Theorem Rat.MulRingNorm.mulRingNorm_apply_le_sum_digits

Modification history