Displaying similar documents to “Liftings of compact sets of mappings through a light proper mapping are compact”