Theorem Rat.MulRingNorm.mulRingNorm_eq_padic_norm

Modification history