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.
Lift
Let be a covering map, and a map.
A lift of along is a map
such that the whole thing commutes ie .