fix(topology/path_connected): avoid a slow use of `continuity` (#4244)
fix(topology/path_connected): avoid a slow use of `continuity` (#4244)

This corrects the timeout experienced by @Nicknamen in #3641. See https://leanprover.zulipchat.com/#narrow/stream/144837-PR-reviews/topic/.233641/near/211107487



leanprover-community/mathlib,leanprover-community/mathlib