mathlib3

f62a0d04 - Renamed lemma to `prime_factorization_prime_pow`