chore(topology/algebra/uniform_group): Remove newline after docstring (#11671)
chore(topology/algebra/uniform_group): Remove newline after docstring (#11671)

Yael pointed out that #11662 added an erroneous newline after a docstring. This PR removes that newline.





leanprover-community/mathlib,leanprover-community/mathlib