chore(ring_theory/hahn_series): remove redundant instances (#14045)
chore(ring_theory/hahn_series): remove redundant instances (#14045)

Both of these instances can be proved `by apply_instance`





leanprover-community/mathlib,leanprover-community/mathlib