Unique path lifting from homotopy point of view

From MaRDI portal
Publication:1752946