mathlib3

206116b8 - Merge branch 'SP_factors_count_pow' into SP_prime_factorization_basics