fix(topology/connected): typos in docstrings (#11798)
fix(topology/connected): typos in docstrings (#11798)

As pointed out by @YaelDillies 






leanprover-community/mathlib,leanprover-community/mathlib