mathlib3

3941bda8 - Added `prime_pow_of_prime_factorization_single`