7.03 Path-lifting: uniqueness
Channel: Jonathan Evans
Date: 2018-09-27

We prove a general uniqueness theorem for lifts. For notes, see here: http://www.homepages.ucl.ac.uk/~ucahjde/tg/html/cov-03.html