mathlib

45df75b3 - fix(topology/algebra/uniform_group): tiny priority tweak