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.
Semi-locally Simply Connected
is semi locally simply connected if
for all
there is an open neighbourhood of st
any loop in based at is contractible in .