PanLinx
русский
rus-000
квазикомпактный морфизм
English
eng-000
quasicompact morphism
PanLex