Theorem PadicInt.norm_eq_padic_norm

Modification history