PanLinx
русский
rus-000
компактность оператора
English
eng-000
operator compactness
PanLex