Theorem PadicInt.norm_eq_pow_val

Modification history