Theorem Padic.valuation_zpow

Modification history