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.
Path Push Forward Bijection Proposition
Let be a covering map. If is path connected, then for any path , we have that the Path Push Forward is a bijection between and .