PanLinx: locally compact group

English	eng-000
locally compact group

русский	rus-000	локально компактная группа
русский	rus-000	локально-компактная группа

PanLex-PanLinx