Theorem Padic.valuation_pow

Modification history