From: Andreas Lochbihler <mail@andreas-lochbihler.de>

I'm happy to announce a new small entry in the AFP:

Lifting the Exponent by Jakub Kądziołka

Abstract: We formalize the Lifting the Exponent Lemma, which shows how to find the largest

power of p dividing a^n ± b^n, for a prime p and positive integers a and b. The proof

follows [1].

Andreas

Last updated: Sep 25 2021 at 09:17 UTC