Theorem PadicInt.valuation_p_pow_mul

Modification history