Definition talk:P-adic Valuation

As noted at Talk:Lifting The Exponent Lemma/Lemma 1, there is the related Definition:Multiplicity of Prime Factor. We can use it as an equivalent definition. Either way, the definition of $p$-adic valuation is best written up in a more comprehensible way, with some equivalent definitions for people who don't know about $\sup$. --04:15, 24 August 2017 (EDT)