Theorem PadicInt.norm_p_pow

Modification history