The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc. Submit other issues on GitHub.
Locally Path Connected
is locally path connected if for all
and for every open , a neighbourhood of ,
there is some open st