mathlib3

6179707b - feat(ring_theory/unique_factorization_domain): add count_self (#12074)