Multiplicity in Number Theory #
This file contains results in number theory relating to multiplicity.
Main statements #
multiplicity.Int.pow_sub_pow
is the lifting the exponent lemma for odd primes. We also prove several variations of the lemma.
References #
- [Wikipedia, Lifting-the-exponent lemma] (https://en.wikipedia.org/wiki/Lifting-the-exponent_lemma)