additive p-adic valuation

  1. redirect p-adic valuation