mathlib

a7d872fa - chore(category/abelian/pseudoelements): localize expensive typeclass (#9156)

chore(category/abelian/pseudoelements): localize expensive typeclass (#9156) Per @fpvandoorn's [new linter](https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/type-class.20loops.20in.20category.20theory).