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
Let be a covering map. Given a path , we define the push forward of to be
Where is the unique lift of starting at given by the Path Lifting Lemma.