chore(ring_theory/unique_factorization_domain): drop simp annotation for factors_pow (#14646)
chore(ring_theory/unique_factorization_domain): drop simp annotation for factors_pow (#14646)

Followup to https://github.com/leanprover-community/mathlib/pull/14555.







leanprover-community/mathlib,leanprover-community/mathlib