chore(UniqueFactorizationMonoid): make ufm_of_decomposition_of_wfDvdMonoid an instance (#14771)
ufm_of_decomposition_of_wfDvdMonoid