Kurs:Topologie (Osnabrück 2008-2009)/Überlagerungen/Liftungssatz/Fakt/Faktreferenznummer