This is a development version of this entry. It might change over time and is not stable.
Please refer to release versions for citations.
Abstract
We formalize the Lifting the Exponent Lemma, which
shows how to find the largest power of dividing , for
a prime and positive integers and . The proof follows Amir Hossein Parvardi's.