Def continuous_map.homotopy.ulift_map

Modification history

2022-03-12 11:06
src/topology/homotopy/induced_maps.lean
feat(topology/homotopy): Homotopic maps induce naturally isomorphic functors between fundamental groupoid (#11595)
Added continuous_map.homotopy.ulift_mapView on Github →