PanLinx
русский
rus-000
компакт в слабой топологии
English
eng-000
weak compact
PanLex