mathlib3

a9a085fa - Rename `prime_factorization_count` to `prime_factorization_eq_count`