!4#2755 Topology.PathConnected

Stream: mathlib4

[Jireh Loreaux]

This file still has a few stubborn errors left if anyone wants to have a look. I'll come back to them tomorrow if not. I haven't done any renaming decls / fixing comments yet, so don't mark it as ready for review if you only fix the errors.