Liftings of compact sets of mappings through a light proper mapping are compact
Volume 77 / 1972
Fundamenta Mathematicae 77 (1972), 109-114
DOI: 10.4064/fm-77-2-109-114