chore(topology/algebra/uniform_group): use morphism classes (#13273)
chore(topology/algebra/uniform_group): use morphism classes (#13273)







leanprover-community/mathlib,leanprover-community/mathlib