mathlib3
25f0406d - fix(topology/connected): typos in docstrings (#11798)

Commit

3 years ago

fix(topology/connected): typos in docstrings (#11798) As pointed out by @YaelDillies

Author

fpvandoorn

Parents