P-adic valuation (source code)

= P-adic valuation
{wiki=P-adic_valuation}