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