mathlib3

e1747364 - feat(ring_theory/unique_factorization_domain): add count lemmas (#10475)